which space mission's destination is planet mars?
(AND spaceflight.space_mission (JOIN spaceflight.space_mission.destination m.09cws))