John Gilmour of Craigmillar — Scottish judge