Venezuela’s Oil Exports Rose to 1.25 Million bpd in May, Shipping Data Shows