Will another Player lead the MLB in steals?

This market will resolve to "Yes" if a player other than any of the named players has the greatest number of steals in the 2025 MLB Regular season. Otherwise, this market will resolve to "No". In the case of a tie between this player and another player(s) for the most steals in the MLB Regular Season, this market will resolve in favor of the player who played the higher number of games. If there is still a tie, this market will resolve in favor of the player whose listed last name comes first alphabetically (i.e. in the case of a tie, Anderson would resolve to “Yes”, Kwan would resolve to “No”). The primary resolution source for this market will be official information from the MLB. However, a consensus of credible reporting may also be used.