20160710 city.puducherry: Pump operator dies in treatment plant