20170808 business.international-business: Wall Street ends higher as Dow edges to latest record