Wow. The IMF said that El Salvador isn't even allowed to mine Bitcoin.
https://cryptoslate.com/el-salvador-continuing-to-buy-or-mine-bitcoin-may-now-cost-country-3-5-billion-in-imf-funding/
The government can't mine. Nothing stopping them from confiscating what their "private sector" acquired illegally **according to salvadoran law**