draft for _are_all_ships_killed_