John Garland Willis

October 3, 1940  -  May 23, 2019