Crypto Theft, Tax Losses, and Recovery