Butterfly vs. ex-RUSTEC | Kalshi