Philip Jessup — American diplomat, scholar, and jurist (1897–1986)