What was the price of a gallon of gas in1917?