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