th judicial district. The county of Johnson shall constitute the 10th judicial district. There shall be 16 district judges in such district.