Rogers, David J. (David James), 1918-