David Stone Martin (American, 1913–1992)