20170806 city.mumbai: 7;842 trees cut in 3 yrs; many 'unnecessarily'