who did the nationals play after the all-star game?
marlins