“The war with Iran has killed 13 U.S. service members and cost taxpayers billions of dollars.”