juiz de fora — type of Portuguese magistrate