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