BTW I don't know if the fire sale prices take into account taxes that have to be paid.. so the actual amount of stuff that needs to be sold to cover the entire 464 mil might actually be closer to 750 mil before taxes.
Potential taxes are a nonissue for several reasons:
First (and likely most significant) don't forget the billionaire tax relief passed under Trump's watch-you can be guaranteed that whatever provisions might help him are in there and he is fully aware of them,
Second, remember that he already has hundred of millions of dollars in paper losses (remember the leaked return showing he took 3% of all tax losses for the entire population in just one tax year) unless somehow he has already used those up,
Third, billionaires don't pay taxes-they hire senators and congressmen to set the law and lawyers and accountants to implement it-he will do some sort of two property exchange or the like to defer/eliminate tax, and
Finally-if DJT actually paid more than an insignificant of tax if would be a historical first. His head and heart would simultaneously explode.
The real worry will be if he comes up with the case from an unknown and undisclosed source. Meanwhile it is with pure enjoyment I see a lifelong tax cheat finally getting wacked.