To end the second inning of the game, deGrom struck out Mariners shortstop J.P. Crawford. This was the 1,800th strikeout of his career, and according to the MLB's official X account, he is the fastest pitcher to reach this milestone in games and innings.

Rangers general manager Ross Fenstermaker joined “The Invasion” on 96.7 FM/1310 The Ticket [KTCK-AM] Tuesday morning.

Texas Rangers right-hander Jacob deGrom became the fastest pitcher in major league history to reach 1,800 career strikeouts by games and innings.