40115 is the norad number on which satellite?
(AND spaceflight.satellite (JOIN spaceflight.satellite.norad_number 40115^^http://www.w3.org/2001/XMLSchema#integer))