It's part of that stash yes, but not the entire amount, wouldn't be the first time they've sold off Bitcoin from forfeiture, perhaps it was in the works for some time, and they just want to wrap it up before Trump takes office. Even if this is dumbed they'll still over 100 000 BTC, but it would mean China is the largest government holder then