Código postal de Juan Antonio Casas Torres en Fresnillo, Zacatecas, México