20170809 business.international-business: U.S. oil prices slip as some OPEC producers export more