From the Disney Parks YouTube channel:
Today, Captain Mickey Mouse met Miami in a Disney-style celebration. A sleek speed boat, dazzling fireworks and the grand unveiling of a enormous banner adorning Miami’s cruise terminal ignited the countdown to Disney Cruise Line’s maiden voyage from Miami on December 23, 2012.