NYC population change (July 2025 – July 2027): Prediction Markets & Odds