Basil Coke — (born 1935)