John R. Coleman 1921–2016