Will Pete Crow-Armstrong lead the MLB in steals?

This market will resolve to "Yes" if Pete Crow-Armstrong has the greatest number of steals of any player 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, Alonso would resolve to “Yes”, Soto 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.