20200712 city.goa: With 3 more Covid deaths; port town's tally surges to 7