in 04/20/2009, what satellite was launched?
(AND spaceflight.satellite (JOIN spaceflight.satellite.launch_date 2009-04-20^^http://www.w3.org/2001/XMLSchema#date))