Porter, Allen, 1902-1987.