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