John Ernest Vaughan

November 12, 1948  -  October 22, 2023