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 "In 2007, the port served 3,787,410 passengers.". Is that enough to answer the question?