“Disruption in the Strait of Hormuz would lead to high gasoline prices in the United States, creating political problems for the administration.”