These websites are known to have been using ns2.prefeituradecoronelpacheco.com.br as their DNS nameserver.