How fast can Gulf energy production rebound after US-Iran ceasefire?