The government gets the money from the sale. If the sale is worth more than he owes the government, then he gets the extra. Trump is left to pay the loans off himself.

If this is as bad as the newspapers are saying then his creditors are already counting everything up and waiting for him to miss a payment so they can take whatever the government doesn’t. In some states they may be able to use this fraud ruling to demand the entire loan amount back immediately.