how many deputy judges served on the permanent court of international justice after 1930?
4