The district judge is the highest judicial authority in the district.