what is the name of the satellite that's orbiting planet mars?
(AND spaceflight.satellite (JOIN spaceflight.satellite.orbiting m.09cws))