How Merlin Lost Patience Trying to Save Bitfinex's USD 851 million