Red alert! : educators confront the Red Scare in American public schools, 1947-1954