20200208 city.varanasi: Basti district to be renamed after sage Vashishtha