Gilman Baker Allen, Jr.

June 6, 1938  -  May 27, 2019