MARKET WATCH: Crude oil gains but gasoline falls as Irma hits Florida