Paul Douglas Vaughan

August 17, 1940  -  October 18, 2021