The IRS Data Theft Problem