Question: What is the name of the closer who is MLB's career leader in saves who retired after the 2013 New York Yankees Season?

full_context: Document 1: Derek Jeter: Derek Sanderson Jeter ( ) (born June 26, 1974) is an American former professional baseball shortstop and the incoming CEO and part owner of the Miami Marlins. Jeter played 20 seasons in Major League Baseball (MLB) for the New York Yankees. A five-time World Series champion, Jeter is regarded as a central figure of the Yankees' success of the late 1990s and early 2000s for his hitting, baserunning, fielding, and leadership. He is the Yankees' all-time career leader in hits (3,465), doubles (544), games played (2,747), stolen bases (358), times on base (4,716), plate appearances (12,602) and at bats (11,195). His accolades include 14 All-Star selections, five Gold Glove Awards, five Silver Slugger Awards, two Hank Aaron Awards, and a Roberto Clemente Award. Jeter was the 28th player to reach 3,000 hits and finished his career ranked sixth in MLB history in career hits and first among shortstops. In 2017, the Yankees retired his uniform number 2.
Document 2: Andrew Miller (baseball): Andrew Mark Miller (born May 21, 1985) is an American professional baseball relief pitcher for the Cleveland Indians of Major League Baseball (MLB). He previously played for the Detroit Tigers, Florida Marlins, Boston Red Sox, Baltimore Orioles, and New York Yankees. In 2017, he earned his first major championship in the World Baseball Classic as a member of the United States national baseball team. Miller attended the University of North Carolina (UNC) at Chapel Hill and played college baseball for the Tar Heels before the Detroit Tigers drafted him. After beginning his MLB career primarily as a starting pitcher, Miller converted to full-time relief in 2012, serving in middle relief, setup and closer roles. He has pitched in three playoffs while his clubs have appeared in five. At UNC, he won the "Baseball America" College Player of the Year and Roger Clemens Awards. In his Major League career, he has been an All-Star selection, and has won the American League (AL) Reliever of the Year and the AL Championship Series Most Valuable Player Awards (ALCS MVP).
Document 3: Mariano Rivera: Mariano Rivera (born November 29, 1969) is a Panamanian-American former professional baseball pitcher who played 19 seasons in Major League Baseball (MLB) for the New York Yankees, from 1995 to 2013. Nicknamed "Mo" and "Sandman", Rivera spent most of his career as a relief pitcher and served as the Yankees' closer for 17 seasons. A thirteen-time All-Star and five-time World Series champion, he is MLB's career leader in saves (652) and games finished (952). Rivera won five American League (AL) Rolaids Relief Man Awards and three Delivery Man of the Year Awards, and he finished in the top three in voting for the AL Cy Young Award four times.
Document 4: 2011 New York Yankees season: The 2011 New York Yankees season was the 111th season for the New York Yankees franchise. The Yankees began the season at home against the Detroit Tigers on Thursday, March 31. The Yankees clinched a playoff berth in the first game of a doubleheader on September 21, 2011, and clinched the AL East division title in the second game. The Yankees season ended on October 6 when they lost a deciding Game 5 of the 2011 American League Division Series to the Detroit Tigers 3–2. It was the first time since 2007 the Yankees would lose an elimination game at home.
Document 5: 2008 New York Yankees season: The 2008 New York Yankees season was the 106th season for the New York Yankees franchise. The Yankees hosted the 2008 All-Star Game at Yankee Stadium on Tuesday July 15, 2008. It was the 83rd and last season at Yankee Stadium prior to the team's move to a new ballpark (also called "Yankee Stadium") just north of the current stadium. It also marked the first season since 1993 that the Yankees failed to make it to the playoffs (the 1994 strike canceled the postseason, though the Yankees had the best record in the American League that year.).
Document 6: Curt Schilling: Curtis Montague Schilling (born November 14, 1966) is an American former Major League Baseball right-handed pitcher, former video game developer, and former baseball color analyst. He helped lead the Philadelphia Phillies to the World Series in 1993, and won championships in 2001 with the Arizona Diamondbacks and in 2004 and 2007 with the Boston Red Sox. Schilling retired with a career postseason record of 11–2, and his .846 postseason winning percentage is a major-league record among pitchers with at least ten decisions. He is a member of the 3,000-strikeout club and has the highest strikeout-to-walk ratio of any of its members. He is tied for third for the most 300-strikeout seasons. Of post 19th century pitchers, Schilling has the second highest JAWS of any pitcher not in the Hall of Fame (behind only Roger Clemens).
Document 7: 2013 Detroit Tigers season: The 2013 Detroit Tigers season was the team's 113th season. They finished 93–69, first place in the American League (AL) Central Division. During the season, the Tigers finished one game ahead of the second place Cleveland Indians. They became the first Tigers team to win three consecutive titles since the 1907, 1908 and 1909 won three consecutive American League pennants. The Tigers defeated the Oakland Athletics in five games in the American League Division Series and advanced to the ALCS for the third straight season, the first time a Major League team has done so since the New York Yankees advanced to four straight from 1998 to 2001. They lost the American League Championship Series to the Boston Red Sox, four games to two. Manager Jim Leyland announced his retirement following the American League Championship Series.
Document 8: Alex Rodriguez: Alexander Emmanuel Rodriguez (born July 27, 1975), nicknamed "A-Rod", is a Dominican-American former professional baseball shortstop and third baseman. He played 22 seasons in Major League Baseball (MLB) for the Seattle Mariners, Texas Rangers, and New York Yankees. Rodriguez was one of the sport's most highly touted prospects and is considered one of the greatest baseball players of all time. Rodriguez amassed a .297 batting average, 696 home runs, over 2,000 runs batted in (RBI), over 2,000 runs scored, and over 3,000 hits. He is a 14-time All-Star and won three American League (AL) Most Valuable Player (MVP) Awards, ten Silver Slugger Awards, and two Gold Glove Awards. Rodríguez is the career record holder for grand slams with 25. However, he led a highly controversial career due to signing two of the most lucrative sports contracts in history while incurring criticism from the media for his behavior and use of illegal performance-enhancing drugs.
Document 9: Manny Ramirez: Manuel Arístides Ramírez Onelcida (born May 30, 1972) is a Dominican-American professional baseball outfielder for the Kōchi Fighting Dogs of the Shikoku Island League Plus. He played in Major League Baseball (MLB) for parts of 19 seasons. He played with the Cleveland Indians, Boston Red Sox, Los Angeles Dodgers, Chicago White Sox, and Tampa Bay Rays before playing one season in the Chinese Professional Baseball League. Ramirez is recognized for having had great batting skill and power. He was a nine-time Silver Slugger and was one of 25 players to hit 500 career home runs. His 21 grand slams are third all-time, and his 29 postseason home runs are the most in MLB history. He appeared in 12 All-Star Games, with a streak of eleven consecutive games beginning in 1998 that included every season that he played with the Red Sox.
Document 10: 2014 New York Yankees season: The 2014 New York Yankees season was the 114th season for the New York Yankees franchise. The Yankees began the season on April 1 at Minute Maid Park against the Houston Astros, and finished on September 28 at Fenway Park against the Boston Red Sox. They finished in second place in the American League East with an 84-78 record, which was their worst since 1992. It is also notable for being team captain Derek Jeter's final season after announcing retirement on February 12, 2014. The Yankees failed to make the playoffs for the second year in a row, and only the third time in twenty years.
Document 11: John Smoltz: John Andrew Smoltz (born May 15, 1967), nicknamed "Smoltzie" and "Marmaduke," is an American former baseball pitcher who played 22 seasons in Major League Baseball from 1988 to 2009, all but the last year with the Atlanta Braves. An eight-time All-Star, Smoltz was part of a celebrated trio of starting pitchers, along with Greg Maddux and Tom Glavine, who propelled Atlanta to perennial pennant contention in the 1990s, highlighted by a championship in the 1995 World Series. He won the National League (NL) Cy Young Award in 1996 after posting a record of 24–8, equaling the most victories by an NL pitcher since 1972. Though predominantly known as a starter, Smoltz was converted to a reliever in 2001 after his recovery from Tommy John surgery, and spent four years as the team's closer before returning to a starting role. In 2002, he set the NL record with 55 saves and became only the second pitcher in history (joining Dennis Eckersley) to record both a 20-win season and a 50-save season. He is the only pitcher in major league history to record both 200 wins and 150 saves.
Document 12: Vida Blue: Vida Rochelle Blue Jr. (born July 28, 1949) is an American former Major League Baseball left-handed pitcher. During a 17-year career, he pitched for the Oakland Athletics (1969–77), San Francisco Giants (1978–81; 1985–86), and Kansas City Royals (1982–83). He won the American League Cy Young Award and Most Valuable Player Award in 1971. He is a six-time All-Star, and is the first of only five pitchers in major league history to start the All-Star Game for both the American League (1971) and the National League (1978); Roger Clemens, Randy Johnson, Roy Halladay, and Max Scherzer later duplicated the feat.
Document 13: 2016 New York Yankees season: The 2016 New York Yankees season was the 114th season in New York City for the Yankees, and the 116th season overall for the franchise. Throughout the season, the Yankees wore a #8 patch on their left sleeve in memory of Hall of Famer Yogi Berra. It was the final season for Alex Rodriguez and Mark Teixeira. For the third time in four years, the Yankees failed to make the playoffs, finishing in 4th place in the AL East with a 84-78 record. The 2016 season was notable in that it marked the first time since 1989 that the Yankees were sellers at the trade deadline, dealing away valuable pieces to gain minor league prospects for the future. Rookie catcher Gary Sanchez made headlines by hitting 20 home runs in his first 53 games, representing the Yankees youth movement known as the "Baby Bombers".
Document 14: 2010 Boston Red Sox season: The 2010 Boston Red Sox season was the 110th season in the franchise's Major League Baseball history. The Red Sox opened and closed the season at Fenway Park against the New York Yankees – the last time the team opened and closed a season at home against the Yankees was 1950. With a record of 89 wins and 73 losses, the Red Sox finished third in the American League East, seven games behind the Tampa Bay Rays, and failed to advance to the postseason for the first time since 2006.
Document 15: 2013 New York Yankees season: The 2013 New York Yankees season was the 113th season for the New York Yankees franchise. The Yankees began their season at home with an 8–2 loss against the Boston Red Sox on April 1. They finished tied for third place in the American League East with an 85-77 record, which was their worst since 1992. The Yankees failed to reach the playoffs for the first time since 2008 and only the second time in nineteen years. Longtime Yankees closer Mariano Rivera and longtime starting pitcher Andy Pettitte retired following the 2013 season.
ground_truth: Mariano Rivera