Aríel Miranda (Mariners, SP): 5.2 ip, 5 er, 4 k @ Astros. Final: Mariners 9 @ Astros 7. MLB, Jul 17, 2017. Full box score and game log on Real.