Miles E. Funk (1914-1987)