Theater production: "Christopher Columbus," May 1969