Jupiter airdrop in 2023?

On Nov 15, 2023, Jupiter announced airdrop allocation details for airdrop #1: https://twitter.com/weremeow/status/1724855485507981454. This market will resolve to "Yes" if Jupiter launches a token and announces they have performed an airdrop by December 31, 2023, 11:59 PM ET. Otherwise, this market will resolve to "No". For the purposes of this market "locked" tokens or non-swappable tokens will not suffice to resolve this market to "Yes". The primary resolution source for this market is on-chain information and official information from the Jupiter Project team, however a consensus of credible reporting will also be used.