which satellite was launched in 2002-09-12
(AND spaceflight.satellite (JOIN spaceflight.satellite.launch_date 2002-09-12^^http://www.w3.org/2001/XMLSchema#date))