Palantir signs $20 million deal with S Korea’s Hyundai Heavy Industries