There shall be ten district judges in the first judicial district.