Thanks for the reply. A few more questions:
1. It sounds like the keys will not be synchronized automatically between these servers, and it relies on key owners' manual action? I'm a little worried, if I encounter the issue again, how do I know which server holds the info? For example, I initially thought keyring.debian.org should work, but actually it's not.
2. If I simply use the default sources.list like the one below, what key server is considered to be the official one?
deb http://httpredir.debian.org/debian stretch main contrib non-free
#deb-src http://httpredir.debian.org/debian stretch main contrib non-free
deb http://httpredir.debian.org/debian stretch-updates main contrib non-free
#deb-src http://httpredir.debian.org/debian stretch-updates main contrib non-free
deb http://httpredir.debian.org/debian stretch-backports main contrib non-free
#deb-src http://httpredir.debian.org/debian stretch-backports main contrib non-free
deb http://security.debian.org/ stretch/updates main contrib non-free
#deb-src http://security.debian.org/ stretch/updates main contrib non-free
3. What's the purpose of https://ftp-master.debian.org/keys.html? I'm asking because it sounds like the official source which should be the most trustful. Can I use the info from it to generate the keys missing?