Palantir sinks 10% and an unusual put option activity pays off nearly 200%

Look at this. Palantir, $PLTR, dropped 10% today on news of CEO Karp's plan for new $1.2 billion sale and Pentagon 8% budget cut. Did someone know? Maybe. Today in early AM, there was heavy activity in $PLTR put options, with traders pouring over $600,000 into the $120P