Harvey Karl Mangum (1908-1993)