20170805 city.varanasi: The many names of Mughalsarai