This cruise ship, laid down on December 2008 is 50mm longer than a cruise ship laid down on what date?