“The Persian Gulf normally exports 20 million barrels of oil per day, which accounts for half of all internationally traded oil.”