which us aircraft manufacturer produced the airbus a380?
(AND aviation.aircraft_manufacturer (JOIN aviation.aircraft_manufacturer.aircraft_models_made m.018rl2))