John Hamilton, Lord Magdalens — Scottish judge