Good points. Thank you.
I wonder if there would be a less public way that might work even better. Would it be possible to have a registrar place a TXT code on a domain name that had been claimed to be stolen – not something obvious. The marketplaces could then daily check their names looking for this TXT code. If found the name could be put into a holding pattern, and periodically check again. Someone buying a name privately could similarly check. Of course would only work if registrars agreed, or were told by ICANN, to implement it, and if all marketplaces checked their stock daily.
I realize the Hold status sort of achieves the same thing, so perhaps nothing new is needed (except all marketplaces checking).
-Bob