Miami is home to one of the largest ports in the United States, the PortMiami. How many square kilometers is PortMiami