which satellite is orbiting kepler-138?
(AND spaceflight.satellite (JOIN spaceflight.satellite.orbiting m.0_x59hh))