David J. Rock

June 12, 1932 - August 8,  2019