¿Cuál es la población de Colonia Gral. Antonio Rosales (Zacatecas)?