Paul Edward Thomas

June 11, 1930  -  December 7, 2021