20171101 business.international-business: U.S. gasoline demand hits record high in August -EIA