John Robert Diamond Jr.

July 23, 1935  -  March 16, 2018