Will any other pitcher be the National League starting pitcher for the 2025 MLB All-Star Game?

This market is to predict who will officially start as the pitcher for the National League in the 2025 MLB All-Star Game, scheduled for July 15, 2025. This market will resolve to “Yes” if the listed pitcher officially throws the first pitch for the National League at the start of the 2025 MLB All-Star Game. Otherwise, this market will resolve to “No”. If the 2025 MLB All-Star Game is canceled or postponed beyond August 15, 2025, this market will resolve to “Other”. The primary resolution source for this market will be the MLB (mlb.com), however a consensus of credible reporting may also be used.