Código postal de Puerto 57 (Los Troncos) en Armadillo de los Infante, San Luis Potosí, México