37. Public Papers of the Presidents of the United States: Dwight D. Eisenhower, 1955 (Washington, 1959), 332.