“The potential $9 billion in annual revenue from a Strait of Hormuz toll would represent a 60% increase to Iran's GDP.”