Palantir Is Helping Trump’s IRS Conduct “Massive-Scale” Data Mining