20170831 business.international-business: Gasoline spikes to $2/gallon; crude slips as Harvey wreaks havoc on refiners