20170728 business.international-business: U.S. oil refiners pare exposure to Venezuelan crude imports