20200720 city.goa: Goa: Portuguese-era building collapses in Panaji; three rescued from structure