They handed over their own BTC over to the government. If you have the private keys, you control the coin. If you don’t, no amount of money or guns can make that coin move thanks to math and physics. However, a $5 wrench rammed repeatedly into your head may make you divulge those private keys. Strength of encryption is rarely the weakest link in any modern cryptographic system. But that wrench used on anybody who doesn’t know the keys? Useless. It’s pretty powerful stuff in that regard.