John Hadley Nicanor Hemingway (1923-2000)