The U.S. Counterintelligence Corps and Czechoslovak Human Intelligence Operations, 1947–1972