EXPLAINER

Who is Palantir, the US tech company Mike Kelly now works for?