US Gasoline Prices Hit Record $4.12 High as Iran Conflict Roils Markets