I want to know the answer to the following question:
How many passengers used PortMiami in 2007?
All the background I'm provided with is that "It has retained its status as the number one cruise/passenger port in the world for well over a decade accommodating the largest cruise ships and the major cruise lines.". Is that enough to answer the question?