Hall, James A., 1917-