Miami-Dade County, Office of the Mayor and PortMiami, PortMiami COVID-19 Update (county release, Mar. 13, 2020) (Ex. AGY-USCG-PORTS-070)
Miami-Dade County, Office of the Mayor and PortMiami, PortMiami COVID-19 Update (county release, Mar. 18, 2020) (Ex. AGY-USCG-PORTS-073)
Miami-Dade County and PortMiami, PortMiami release, Miami-Dade County's seaport strictly follows CDC guidelines for preventive measures against COVID-19 (Mar. 23, 2020) (Ex. AGY-USCG-PORTS-074)
