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