20181023 india: 10 Indian cities that changed their names