Game Thread: Seattle Mariners @ Texas Rangers — 7/25 4:15 PM PT