“In the tune of the king of Khotan”: the name of Khotan in the Tarim Basin and beyond