John Royce — British High Court judge