“Approximately 90% of Iran's government revenue is derived from seaborne trade.”