Coinbase is Sending 13,000 Customer Records Over to the IRS