what satellite is in orbit around the planet venis?
(AND spaceflight.satellite (JOIN spaceflight.satellite.orbiting m.09bcm))