Miami-Dade County, Office of the Mayor and PortMiami, PortMiami COVID-19 Update (county release, Mar. 13, 2020) (Ex. AGY-USCG-PORTS-070)
