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