“The United States has military options to reopen the Strait of Hormuz, including attacking Iran's radar and communication systems or seizing islands such as Abu Musa.”