Palantir verdubbelt omzet: defensietak wordt ‘kern’ van het bedrijf