عدد سكان مقاطعة أنطونيو رايموندي