Henry Coke — (born 1912)