David John Rock

January 5, 1948  -  August 20, 2020