John Holker — British lawyer, judge and politician