; maintenance and repair, facility planning and design; space flight, spacecraft control, and communications activities; program management; personnel and related costs, including uniforms or allowances therefor, as authorized by sections 5901 and 5902 of title 5, United States Code; travel expenses; purchase and hire of passenger motor vehicles; and purchase, lease, charter, maintenance, and operation of mission and administrative aircraft, $7,161,300,000 (reduced by $1,000,000) (increased by $1,000,000), to remain available until September 30, 2021: Provided , That, of the amounts provided, $592,600,000 is for an orbiter to meet the science goals for the Jupiter Europa mission as recommended in previous Planetary Science Decadal surveys: Provided further , That the National Aeronautics and Space Administration shall use the Space Launch System as the launch vehicles for the Jupiter Europa missions, plan for an orbiter launch no later than 2023 and a lander launch no later than 2025, and include in the fiscal year 2021 budget the 5-year funding profile necessary to achieve these goals. Aeronautics For necessary expenses, not otherwise provided for, in the conduct and support of aeronautics research and development activities, including research, development, operations, support, and services; maintenance and repair, facility planning and design; space flight, spacecraft control, and communications activities; program management; personnel and related costs, including uniforms or allowances therefor, as authorized by sections 5901 and 5902 of title 5, United States Code; travel expenses; purchase and hire of passenger motor vehicles