Was National Public Radio right to fire Juan Williams?