Holderman, Kenneth L. (Kenneth Lucius), 1909-1987