US crude exports hit record high in May as Iran war tightens global oil supplies – Reuters June 1, 2026 Upstream E&P US crude exports hit record high in May as Iran war tightens global oil supplies Reuters