Increases the number of district court judges in King county.