Mayor Jerry L. Demings, as Director of Emergency Management, Emergency Executive Order No. 2020-12 (May 1, 2020) (Ex. MET-ORL-006)
Board of County Commissioners, Emergency Ordinance 2020-60 (July 20, 2020) (Ex. MET-ORL-021)
Miami-Dade County Department of Transportation and Public Works (County service-updates page), Miami-Dade County 'Transit Service Updates' page (Wayback snapshot of Aug. 3, 2021) (Ex. MET-MIA-024)
