“The United States also struck Iran's nuclear sites with Tomahawk missiles following an initial bombing raid.”