Should President Joe Biden approve a federal gas tax holiday, even if it hinders road construction?