Saudi Arabia crude oil exports hit highest level since Iran war began despite pipeline outage