Gulf crude exports jump in July

Even after the rebound, exports remained about 32% below February's pre-war peak of 17.6 million bpd