Fixed bug: game does not end immediately if last ship found before last turn.