From the excerpt cluttering up the comment area.
“... to get rid of debt that’s costing it anywhere from 10.25% to 12.25% annually, and replace it with lower-interest debt. “
It appears the government has targeted the cruise line industry? They used the CDC to implement mandates that drove customers away. Furthermore, no bailouts or tax incentive’s have been offered. Are they targeting this industry to hurt Florida? I don’t know, curious what others think.