How quickly will sky-high petrol prices return to normal after the Strait of Hormuz reopens?