Código postal de San Juan el Potrero (El Potrero) en Xonacatlán, México, México