If a round robin URL of is used for a keyserver (e.g. subkeys.gnupg.org); it is not easy to see what server is actually used. Using the keyserver debug option as in
gpg --keyserver-options debug=1 -v --refresh-key 1E42B367
is thus often helpful. Note that the actual output depends on the backend and may change from release to release.