John C. Mason (1941-2016)