Hall Einar Henry ( 1913 - 1986 )