Even if the Gulf war ends tomorrow, the Strait of Hormuz opens and shipping resumes normally, the additional real estate ...