John R. Mason

October 30, 1937  -  February 6, 2013