how many deputy judges of the permanent court of international justice had their post abolished?
4