Will Pitcher D throw the most strikeouts in the MLB?

This market will resolve to "Yes" if Pitcher D throws the greatest number of strikeouts of any pitcher in the 2025 MLB Regular season. Otherwise, this market will resolve to "No". In the case of a tie between this pitcher and another pitcher(s) for the most strikeouts thrown in the MLB Regular Season, this market will resolve in favor of the pitcher who started the higher number of games. If there is still a tie, this market will resolve in favor of the pitcher whose listed last name comes first alphabetically (i.e. in the case of a tie, Gore would resolve to “Yes”, Wheeler 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.