“Edward Fishman estimates that Iran could generate approximately $100 billion in annual revenue by charging fees for passage through the Strait of Hormuz.”