David Hope, Baron Hope of Craighead — British judge (born 1938)