What Red Baiting Is and Is Not.