20170720 city.goa: Walls of old house in Borda razed