20171101 city.gurgaon: Haryana leaders mediating; BJP to name Gurgaon mayor on Nov 3