20191031 city.mangaluru: Dredger will be removed from shore by January