Terrific pitching matchup to close out Astros-Marlins series