Will war in Iran push up petrol prices?