In the Nationals’ section of the box score for Jordan Zimmermann’s no-hitter, 16 names are listed above the pitcher’s. Everyone contributed in some way, especially off the bench, which included left fielder Steven Souza Jr.’s game-winning catch.