“President Trump has proposed implementing a federal gas tax holiday.”