Database: planet_1
Question: What are the shipment ids for the planet Mars?
SQL:
SELECT T1.ShipmentID FROM Shipment AS T1 JOIN Planet AS T2 ON T1.Planet = T2.PlanetID WHERE T2.Name  =  "Mars";