Did El Salvador have their Bitcoin holdings on FTX?

Saw a few articles mention this and I really hope this isn't the case. Does anyone know?