Loss of Bitcoins in Bitfinex Could be Deducted on US Tax Returns