Should NPR radio analyst Juan Williams have been fired?