GDT: Astros vs. Rangers, 6/9/2018