Thomas, Edwin J. (Edwin John), 1927-