These websites are known to have been using rodocrosita.rioprevidencia.rj.gov.br as their DNS nameserver.