“The estimated cost to build overland pipelines to bypass the Strait of Hormuz is between $50 billion and $75 billion.”