Alexander, Robert J. (Robert Jackson), 1918-2010