district judge

noun

1. : the judge of a district court