What are the names of the ships that are not involved in any missions?
select name from ship where ship_id not in (select ship_id from mission)