senior circuit judge — subclass of judge in the United Kingdom