20180101 city.bengaluru: Workers quit colony after cholera scare