About 20% of the world’s oil supply passes through the strait or originates in the Gulf