07/15/2011 was the launch date for which satellite?
(AND spaceflight.satellite (JOIN spaceflight.satellite.launch_date 2011-07-15^^http://www.w3.org/2001/XMLSchema#date))