Biden's auto dilemma: How hard to push for electric cars?