Bitfinex wallet hacker returns most of the $20 million back to US gov’t