“President Trump believes that if the U.S. were to attack Iran, the Strait of Hormuz would automatically close because shipping companies would not risk their vessels.”