20170808 business.international-business: U.S. consumer credit rises $12.40 bln in June