我试图在Ubuntu 18.04中安装ROS melodic。我能够添加源文件。但是，当我尝试为其添加密钥时，出现了此错误。我使用的命令是：
$ sudo apt-key adv --keyserver hkp://ha.pool.sks-keyservers.net:80 --recv-key 421C365BD9FF1F717815A3895523BAEEB01FA116
它引发的错误是：
Executing: /tmp/apt-key-gpghome.cUIgKzTGF5/gpg.1.sh --keyserver hkp://ha.pool.sks-keyservers.net:80 --recv-key 421C365BD9FF1F717815A3895523BAEEB01FA116
gpg: keyserver receive failed: Server indicated a failure
当我ping通时，
$ ping ha.pool.sks-keyservers.net
PING ha.pool.sks-keyservers.net (192.146.137.99) 56(84) bytes of data.
64 bytes from pgpkeys.co.uk (192.146.137.99): icmp_seq=1 ttl=49 time=169 ms
64 bytes from pgpkeys.co.uk (192.146.137.99): icmp_seq=2 ttl=49 time=169 ms
工作正常。如何解决这个问题？