The owner of the wallet Ledger Nano’s reported a loss of $80,000 in cryptocurrency Monero due to a bug