20170110 city.mangaluru: Former deputy mayor Judith Mascarenhas dies