Wenman John Coke — (born 1940)