How High For How Long? What the Price Elasticity of Demand for Crude Oil Tells Us About a Strait of Hormuz Disruption