Mantley, John, 1920-2003