Holman, John, 1918-