I could be wrong but, wasn't all their BTC confiscated from people? If that was the case then it's a good thing that they sold it. Unlike Bhutan and El Salvador who earn their coins.