I wasn’t sure if this was true or a weird misunderstanding or conspiracy type thing. Seems to be true. Here is an accessible writeup: bbc.com/…/20231127-brazils-mysterious-tunnels-mad…