The county of Shawnee shall constitute the third judicial district. There shall be 13 district judges in such district.