20201102 city.goa: Casinos restart date passes; but no SOPs for industry yet