World’s Biggest Cruise Line Operator To Sell 13 Ships To Cope With Losses Due To COVID-19 Pandemic