US crude exports hit record high in May as Iran war tightens global oil supplies Reuters