20170831 business.international-business: Gasoline spikes; crude slumps as Harvey wreaks havoc on U.S. refiners