John King (Rangers, P): 1.0 ip, 0 er, 0 k vs Mariners. Final: Mariners 3 @ Rangers 12. MLB, Jun 4, 2023. Full box score and game log on Real.