Mitchell, William L. (William Leroy), 1912-1988