The US Government Will Require Funds from the 2016 Hack to Be Returned to Bitfinex