Isso pode não ser realmente um problema ao procurar o servidor de chaves, que é o que o erro sugere. O comando apt-key chama gpg, que por sua vez tenta acessar o servidor de chaves. Aparentemente, existe um bug no gpg, pelo qual, se o servidor de chaves não tiver a chave que você está solicitando, o gpg interpreta mal isso como "host não encontrado".
Pode ser que um servidor de chaves não responsivo faça a mesma coisa, e vi ambientes em que os servidores de chaves estão bloqueados (regras de firewall corporativas), de modo que essa poderia ser sua causa raiz se houver um firewall upstream que você não tem acesso para.
Apenas para referência, a chave está lá e o servidor de chaves está atualmente respondendo por mim:
$ sudo apt-key adv --keyserver keyserver.ubuntu.com --recv 7F0CEB10
Executing: gpg --ignore-time-conflict --no-options --no-default-keyring --secret-keyring /tmp/tmp.rh1myoBdSE --trustdb-name /etc/apt//trustdb.gpg --keyring /etc/apt/trusted.gpg --primary-keyring /etc/apt/trusted.gpg --keyserver keyserver.ubuntu.com --recv 7F0CEB10
gpg: requesting key 7F0CEB10 from hkp server keyserver.ubuntu.com
gpg: key 7F0CEB10: "Richard Kreuter <richard@10gen.com>" not changed
gpg: Total number processed: 1
gpg: unchanged: 1
Pode ser que a porta seja o problema (foi a última vez que encontrei um problema de firewall corporativo), então tente fazer isso na porta HTTP padrão (80); veja se isso resolve tudo:
sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv 7F0CEB10
dig keyserver.ubuntu.com
?