Astros blanquearon a los Marineros con gran labor de Gerrit Cole