OPEC’s 10 members pushed out an additional 670,000 barrels per day (b/d) of crude in May to produce an average 26.36-million b/d, according to a Platts survey on June 10. Platts said the May average already leaves the OPEC-10 pumping more than the two new 25.5- and 26-million b/d output ceilings, agreed June 3 in…