Diógenes de Sinope
Hi cuzi,

please excuse the delayed replay, I consulted my messages for OpenStreetMap only just now

I have no authoritative sources to contest the name designation however I was able to find the following

ceb.wikipedia.org/wiki/Lagoa_Tôa
https://www.geonames.org/2236754/lagoa%20toa.html

both of these sites are user-editable, their repute therefore is disputable

I didn't find anything forthcoming with regards to a Lagoa da Banza