“An estimated $40 billion in annual revenue from the Strait of Hormuz would effectively double the amount of money Iran earns from its primary export, oil.”