Please excuse me if this is the wrong place for this question. I have been adding Mongolian-language common names to EOL species. A Mongolian-language source gives the scientific name of шилийн савгадай ("rock-crest jerboa") as Dipus halli (source: Sowerby 1920). Dipus halli does not seem to be in EOL. I found a "Dipus sagitta halli" in some other online sources, but it is also not listed in EOL. Am I overlooking something?