Código postal de El Charco de Lucas en Xichú, Guanajuato, México