Companies removed from the Nasdaq-100 in Q3? | Kalshi