Mariners and Astros don’t like each other. Now they’ll play for a spot in the ALCS