Will any other player win the 2025 MLB Home Run Derby?

This is a market to predict which player will win the 2025 T-Mobile MLB Home Run Derby, scheduled for July 14, 2025. If the listed player wins the 2025 T-Mobile MLB Home Run Derby, this market will resolve to "Yes". Otherwise, it will resolve to "No". If the 2025 T-Mobile MLB Home Run Derby is canceled or postponed past August 1, 2025, this market will resolve to "Other". The primary resolution source for this market will be MLB.com, however, a consensus of credible reporting may also be used.