As Trump embraces a gas tax holiday, there's a much bigger problem