Gunn, James E., 1923-2020