Credit: Getty Images/Mike Stobe The Mets’ 10-run 12th against Washington was baseball’s biggest extra inning since 1983