Late last week, cruise industry stocks—part of a broader stock market sell-off—took a deep price dive following the ...