Mitchell, John Dietrich, 1917-