Porter, Richard W. (Richard William), 1913-