These websites are known to have been using portalalunosveracruz.sharepoint.com as their DNS nameserver.