Miami, Fla. Ports of Jacksonville, Miami, Key West, Tampa, and South Boca Grande, Fla.: pt. 2, Ports of Miami and Tampa, Fla.