Gilmer, John, 1925-2014