Código postal de Chavarría (Paraje Puerta) en Tenango del Aire, México, México