Will Bryce Harper lead the MLB in RBI's?

This market will resolve to "Yes" if Bryce Harper has the greatest number of RBI's 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 RBI's 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, Alvarez 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.