Código postal de Puerto del Ranchito en Zaragoza, San Luis Potosí, México