“The U.S. Department of Defense has a designed budget of $1.5 trillion for fiscal year 2027.”