The transfer of $15 billion in XRP to Bitfinex turned out to be a failed exploit