Mangum, Edward, 1913-2001