“An Iranian attack on Prince Sultan Air Base damaged a U.S. Air Force E-3 Sentry AWACS aircraft, destroyed multiple KC-135 refueling tankers, and wounded 15 American service members.”