David, Henry Philip, 1923-