district-judge

DISTRICT-JUDGE, n. The judge of a district-court.