How Many Battleships Are There