“Iranian government officials view the Strait of Hormuz as a potential $40 billion annuity from charging service, insurance, and other fees to passing ships.”