I will add, that even if a cruise line goes bankrupt, it can choose which debts to discharge. No cruise line that expects to come our of bankruptcy and be profitable again would consider wiping customer's credits off its books. Otherwise, nobody would feel comfortable cruising with them again and it would ensure the death of the line. Any line that survives will honor credits, and Disney is the most likely to survive for many reasons.