List the name of ships that are not involved in any mission
SELECT Name FROM ship WHERE Ship_ID NOT IN  ( SELECT Ship_ID FROM mission ) 
ships not involved in any mission refers to Ship_ID NOT IN (SELECT Ship_ID FROM mission); list the name of ships refers to SELECT Name FROM ship;