What is the number of ships?
select count(*) from ship