how many ships are there?
select count(*) from ship