“President Trump is considering a federal gas tax holiday as a measure to provide relief to consumers at the pump.”