de Havilland Sea Vixen at altitude