Yup, which is really the only sensible way to divest from the US. They just sold off whatever they supposedly had in US vaults, and will buy gold they can get their hands on.