Kraken will share data of 42,000 users with IRS