Código postal de Ramos Muñoz Manzano en Mazatecochco de José María Morelos, Tlaxcala, México