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