Sounds like Ira doesn’t have the passphrase to decrypt the wallet. Dave’s bitcoins might be stuck forever.