John Hutchinson Mitchell Jr.

June 11, 1937  -  November 15, 2020