Exports of Venezuelan Oil to Europe Fell to Some 82,200 Bpd in July, Shipping Data Say