These websites are known to have been using ns4.io.org.br.saomigueldasmatas.ba.gov.br as their DNS nameserver.