20170815 business.international-business: Venezuela ships more oil to U.S. in July vs June; but less than yr ago