COINDESK: XRP Ledger patched decade-old bug that could create billions of dollars in XRP from nothing