Hall, David M. (David McKee), 1918-1960