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