City of San Jose - Oct. 22, 2020 Order (PDF)
City of San Jose - Oct. 22, 2020 Order (Text)