“An estimated 90% of Iran's government revenue comes from seaborne trade.”