what satellite ended operations on 04/25/2009?
(AND spaceflight.satellite (JOIN spaceflight.satellite.ceased_operating 2009-04-25^^http://www.w3.org/2001/XMLSchema#date))