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