20181101 city.mysuru: Election to Mysuru's mayor; deputy mayor's post in November third week?