I think that this info is private. I've never seen any info about this topic. Some people says that the BTC of El Salvador are hold in Bitfinex, but not sure and not able to provide any source.