Gettelman, Thomas R., 1917- .