Boeing to end production of Top Gun plane in 2025 after last delivery to US