-- Database schema
| mission : Mission_ID [ INT ] primary_key , Ship_ID [ INT ] mission.Ship_ID = ship.Ship_ID , Code [ TEXT ] , Launched_Year [ INT ] , Location [ TEXT ] , Speed_knots [ INT ] , Fate [ TEXT ] | ship : Ship_ID [ INT ] primary_key , Name [ TEXT ] , Type [ TEXT ] , Nationality [ TEXT ] , Tonnage [ INT ] |
-- -- 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);