Norwegian Cruise Line Holdings Ltd. shares are down 12.9% in morning trading to pace the S&P 500 index’s laggards, despite the cruise operator's record third-quarter revenue. The company’s quarterly ...