a destroyer is a kind of battleship.