Also, with Pullmantur dissolving, what will happen to Grandeur of the Seas? The vessel was going to transfer over in 2021, but with Pullmantur gone, where will she go. It's unknown if Royal Caribbean would want to keep the vessel so if Pullmantur Cruises is going bankrupt, they may sell the ship for scrap.