gallons of gasoline have been consumed in the US so far this year.