The Boats halting problem