What do the bondholders do when their debtor ceases to exist?
The new owner assumes all debts/liens attached to the property. That's why buyers usually require that all previous obligations tied to properties get absolved before closing even any open building permits. By default, anything open and/or unpaid is a lien. With it being the state government taking over, it gets sketchy because you can't file a lien on public property so Florida state would have to pay upfront or drag it through courts and pay more.
Edit: I'm talking out of my ass yall. I have no idea if that's how it works but it sounds right.