Should Miami-Dade County move ahead and build a terminal at PortMiami in preparation for eventual ferry service to Cuba?