I mean this kind of makes sense in a way, but if the BTC were worth less than the $154M the US govt. wouldn't make them whole... a little one sided.