Eden, Paul R. (Paul Randell), b. 1923