Lagoa dos Patos na contabilidade de áreas municipais

[ppKrauss]

Usando como verificação as áreas de
ftp://geoftp.ibge.gov.br/organizacao_do_territorio/estrutura_territorial/areas_territoriais/2017/AR_BR_RG_UF_MES_MIC_MUN_2017.ods. Nelas, além dos 5570 municípios, aparecem dois itens a mais, que são as lagoas de RS. Como estão registradas na forma de códigos de municípios, e fazem parte da totalização de "áreas do Brasil", convém incluir no dataset. A rigor não é código de município.

---

Consultas

SELECT count(distinct  geocodigo) n FROM ibge_lim_munic_2017_area; --  5572 
SELECT i.* 
FROM ibge_lim_munic_2017_area i left join brcodes_city b 
   ON b.ibge_id::text=i.geocodigo 
WHERE b.ibge_id is null;

 geocodigo | uf |      nome       |   area    
-----------+----+-----------------+-----------
 4300001   | RS | LAGOA MIRIM     |  2832.194
 4300002   | RS | LAGOA DOS PATOS | 10152.408