Previous Dutch civil service pension fund has ditched its Palantir stake