According to ChainCatcher, the official page of El Salvador shows that El Salvador currently holds 6,000 BTC, worth over $571 million.