GDT: Astros vs. Rangers, 6/10/18