Código postal de Portón de San José en Soledad de Graciano Sánchez, San Luis Potosí, México