Esto puede no ser realmente un problema al buscar el servidor de claves, que es lo que sugiere el error. El comando apt-key llama a gpg, que a su vez intenta acceder al servidor de claves. Aparentemente hay un error en gpg por el cual si el servidor de claves no tiene la clave que está solicitando, gpg lo malinterpreta como "host no encontrado".
Es muy posible que un servidor de claves que no responda haga lo mismo, y he visto entornos en los que los servidores de claves están bloqueados (reglas de firewall corporativo), por lo que esa podría ser su causa principal si hay un firewall ascendente al que no tiene acceso a.
Solo como referencia, la clave está allí y el servidor de claves está respondiendo actualmente por mí:
$ 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
Puede ser que el problema sea el puerto (fue la última vez que tuve un problema con el firewall corporativo), así que intente hacerlo en el puerto HTTP estándar (80), vea si eso soluciona las cosas:
sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv 7F0CEB10
dig keyserver.ubuntu.com
?