Código postal de Ejército del Trabajo en Tenancingo, México, México