Question: Who did the baseball team that formerly had Joaquín Andújar as a member, face in the 2017 playoffs?

full_context: Document 1: 2017 World Series: 2017 World Series Team (Wins) Manager (s) Season Houston Astros (4) A.J. Hinch 101 -- 61 (. 623) Los Angeles Dodgers (3) Dave Roberts 104 -- 58 (. 642) Dates October 24 -- November 1 MVP George Springer (Houston) Umpires Phil Cuzzi (Games 1 -- 2), Gerry Davis (crew chief), Laz Díaz, Dan Iassogna, Bill Miller, Paul Nauert, Mark Wegner (Games 3 -- 7) ALCS Houston Astros defeated New York Yankees, 4 -- 3 NLCS Los Angeles Dodgers defeated Chicago Cubs, 4 -- 1 Broadcast Television Fox Fox Deportes MLB International TV announcers Joe Buck, John Smoltz, Ken Rosenthal, and Tom Verducci (Fox) Rolando Nichols, Carlos Álvarez, Edgar Gonzalez, and Jaime Motta (Fox Deportes) Matt Vasgersian and Buck Martinez (MLB International) Radio ESPN Radio ESPN Deportes Radio Sportstalk 790 (HOU -- English) FM 94.1 HD3 (HOU -- Spanish) AM 570 LA Sports (LAD -- English) Univision America 1020 (LAD -- Spanish) Radio Korea 1540 (LAD -- Korean) Radio announcers Dan Shulman and Aaron Boone (ESPN) Eduardo Ortega, Renato Bermúdez, José Francisco Rivera, and Orlando Hernández (ESPN Deportes) Robert Ford and Steve Sparks (HOU -- English) Alex Treviño and Francisco Romero (HOU -- Spanish) Charley Steiner and Rick Monday (LAD -- English) Jaime Jarrín and Jorge Jarrín (LAD -- Spanish) Richard Choi and Chong Ho Yim (LAD -- Korean) World Series Program ← 2016 World Series
Document 2: 2017 World Series: The game went into extra innings. José Altuve and Correa hit home runs off Josh Fields in the tenth inning to put the Astros in the lead. In the bottom of the inning, Yasiel Puig hit a home run off of Ken Giles and Enrique Hernández drove in Logan Forsythe to tie the game, with the latter being the Dodgers' first run that was not driven in by a home run. In the next inning, George Springer hit a two - run home run for the Astros off of Brandon McCarthy to retake the lead. In the bottom of the 11th inning, Charlie Culberson homered off of Chris Devenski, who later struck out Puig to end the game. This was the first ever World Series game in which a team hit home runs in the ninth, tenth and eleventh inning. The teams set a new record for combined home runs in a single World Series game with eight and this was the first time in MLB history, regular season or postseason, that five home runs were hit in extra innings. The Astros won their first World Series game in franchise history as they had been swept in their previous appearance in 2005.
Document 3: Joaquín Andújar: Joaquín Andújar (; December 21, 1952 – September 8, 2015) was a Dominican professional baseball pitcher who played in Major League Baseball (MLB) for the Houston Astros, St. Louis Cardinals, and Oakland Athletics from 1976 through 1988. Andújar was a four-time MLB All-Star and a Gold Glove Award winner.
Document 4: 2017 American League Championship Series: 2017 American League Championship Series Teams Team (Wins) Manager Season Houston Astros (4) A.J. Hinch 101 -- 61 (. 623), 21 GA New York Yankees (3) Joe Girardi 91 -- 71 (. 562), 2 GB Dates October 13 -- 21 MVP Justin Verlander (Houston) Umpires Mark Carlson (Games 3 -- 7), Gary Cederstrom (crew chief), Chad Fairchild (Games 1 -- 2), Chris Guccione, Jerry Meals, Jim Reynolds, Hunter Wendelstedt ALDS New York Yankees defeated Cleveland Indians (3 -- 2) Houston Astros defeated Boston Red Sox (3 -- 1) Broadcast Television FS1 (Games 1, 3 -- 7) Fox (Game 2) TV announcers Joe Buck, John Smoltz, Ken Rosenthal, and Tom Verducci Radio ESPN Radio announcers Jon Sciambi and Chris Singleton ← 2016 ALCS 2017 World Series
Document 5: List of Gold Glove Award winners at catcher: Iván Rodríguez has won the most Gold Gloves at catcher, with 13; all were won with the Texas Rangers or the Detroit Tigers (both American League teams), though Rodríguez has played in both leagues. Johnny Bench, who spent his entire career with the Cincinnati Reds, leads National Leaguers in wins, and is second overall with 10 Gold Gloves. Yadier Molina is third overall and second in the NL all time with 8. Bob Boone, who is a member of one of four family pairs to win Gold Glove Awards, won seven between both leagues during his career. Jim Sundberg has won six Gold Gloves, with Bill Freehan winning five. There have been four 4 - time winners at catcher: Del Crandall, Mike Matheny, Charles Johnson, and Tony Peña. Hall of Famers who have won as catchers include Bench, Carlton Fisk, and Gary Carter. The other family pair to win Gold Gloves as catchers are brothers Bengie and Yadier Molina, who have won six awards between them as of the end of the 2011 season.
Document 6: 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", he 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. He was inducted into the Baseball Hall of Fame as part of its class of 2019 in his first year of eligibility, and was the first player ever to be elected unanimously by the Baseball Writers' Association of America (BBWAA).
Document 7: Houston Astros: The Astros clinched their first division title as a member of the American League West division, and first division title overall since 2001. They also became the first team in Major League history to win three different divisions, the National League West in 1980 and 1986, the National League Central from 1997 -- 1999 and 2001, and now the American League West in 2017. On September 29, the Astros won their 100th game of the season, the second time the Astros finished a season with over 100 wins (the other time was in 1998). They finished 101 -- 61 (with a 21 - game lead in the division), and faced the Red Sox in the second round of the AL playoffs. The Astros defeated the Red Sox three games to one, and advanced to the American League Championship Series against the New York Yankees. The Astros won the ALCS four games to three, and advanced to the World Series to play against the Los Angeles Dodgers. The Astros defeated the Dodgers in the deciding seventh game of the World Series, winning the first championship in franchise history.
Document 8: 2017 Major League Baseball season: The 2017 Major League Baseball season began on April 2, 2017 with three games, including the 2016 World Series champions Chicago Cubs facing off against the St. Louis Cardinals, and ended on October 1. The postseason began on October 3. The 2017 World Series began October 24 and Game 7 was played on November 1, in which the Houston Astros defeated the Los Angeles Dodgers, 5 - 1, to capture their first World Series championship in franchise history.
Document 9: José Sosa (baseball): José Ynocencio Sosa (December 28, 1952 – June 8, 2013) was a Dominican Republic relief pitcher in Major League Baseball who played from 1975 through 1976 for the Houston Astros. Listed at 5' 11", 158 lb., he batted and threw right handed.
Document 10: Houston Astros: Houston Astros 2017 Houston Astros season Established in 1962 Team logo Cap insignia Major league affiliations American League (2013 -- present) West Division (2013 -- present) National League (1962 -- 2012) Central Division (1994 -- 2012) West Division (1969 -- 1993) Current uniform Retired numbers 5 7 24 25 32 33 34 40 49 42 Colors Navy blue, orange, white Name Houston Astros (1965 -- present) Houston Colt. 45s (1962 -- 1964) Other nicknames' Stros Ballpark Minute Maid Park (2000 -- present) Astrodome (1965 -- 1999) Colt Stadium (1962 -- 1964) Major league titles World Series titles (1) 2017 AL Pennants (1) 2017 NL Pennants (1) 2005 AL West Division titles (1) 2017 NL West / Central Division titles (6) 1980 1986 1997 1998 1999 2001 Wild card berths (3) 2005 2015 The Astros also qualified for the postseason in the strike - split 1981 season, losing to the Los Angeles Dodgers in the NLDS. Front office Owner (s) Jim Crane Manager A.J. Hinch General Manager Jeff Luhnow President of Baseball Operations Reid Ryan
Document 11: Dominican Republic: Baseball is by far the most popular sport in the Dominican Republic. The country has a baseball league of six teams. Its season usually begins in October and ends in January. After the United States, the Dominican Republic has the second highest number of Major League Baseball (MLB) players. Ozzie Virgil, Sr. became the first Dominican-born player in the MLB on September 23, 1956. Juan Marichal, Pedro Martínez, and Vladimir Guerrero are the only Dominican-born players in the Baseball Hall of Fame. Other notable baseball players born in the Dominican Republic are José Bautista, Adrián Beltré, George Bell, Robinson Canó, Rico Carty, Bartolo Colón, Nelson Cruz, Edwin Encarnación, Ubaldo Jiménez, Francisco Liriano, David Ortiz, Plácido Polanco, Albert Pujols, Hanley Ramírez, Manny Ramírez, José Reyes, Sammy Sosa, and Miguel Tejada. Felipe Alou has also enjoyed success as a manager and Omar Minaya as a general manager. In 2013, the Dominican team went undefeated en route to winning the World Baseball Classic.
Document 12: Octavio Dotel: Octavio Eduardo Dotel Diaz (born November 25, 1973) is a Dominican former professional baseball pitcher. Dotel played for thirteen major league teams, more than any other player in the history of Major League Baseball (MLB), setting the mark when he pitched for the Detroit Tigers on April 7, 2012, breaking a record previously held by Mike Morgan, Matt Stairs, and Ron Villone. Edwin Jackson tied this record in 2018. He was a member of the Houston Astros for 5 seasons.
Document 13: 2017 World Series: 2017 World Series Team (Wins) Manager (s) Season Houston Astros (4) A.J. Hinch 101 -- 61 (. 623) Los Angeles Dodgers (3) Dave Roberts 104 -- 58 (. 642) Dates October 24 -- November 1 MVP George Springer (Houston) Umpires Phil Cuzzi (Games 1 -- 2), Gerry Davis (crew chief), Laz Díaz, Dan Iassogna, Bill Miller, Paul Nauert, Mark Wegner (Games 3 -- 7) ALCS Houston Astros defeated New York Yankees, 4 -- 3 NLCS Los Angeles Dodgers defeated Chicago Cubs, 4 -- 1 Broadcast Television Fox Fox Deportes MLB International TV announcers Joe Buck, John Smoltz, Ken Rosenthal, and Tom Verducci (Fox) Rolando Nichols, Carlos Álvarez, Edgar Gonzalez, and Jaime Motta (Fox Deportes) Matt Vasgersian and Buck Martinez (MLB International) Radio ESPN Radio ESPN Deportes Radio Sportstalk 790 (HOU -- English) FM 94.1 HD3 (HOU -- Spanish) AM 570 LA Sports (LAD -- English) Univision America 1020 (LAD -- Spanish) Radio Korea 1540 (LAD -- Korean) Radio announcers Dan Shulman and Aaron Boone (ESPN) Eduardo Ortega, Renato Bermúdez, José Francisco Rivera, and Orlando Hernández (ESPN Deportes) Robert Ford and Steve Sparks (HOU -- English) Alex Treviño and Francisco Romero (HOU -- Spanish) Charley Steiner and Rick Monday (LAD -- English) Jaime Jarrín and Jorge Jarrín (LAD -- Spanish) Richard Choi and Chong Ho Yim (LAD -- Korean) World Series Program ← 2016 World Series 2018 →
Document 14: Ezequiel Astacio: Obtained by the Houston Astros from the Philadelphia Phillies in as part of the Billy Wagner trade. Astacio got a taste of the big league in posting a 3–6 record with a 5.67 ERA. He pitched 100 innings, striking out 66 and walking 25. Typical of a lot of younger pitchers with a plus fastball, he also gave up an eye opening 25 home runs. He gave up the game-winning home run to Geoff Blum in Game 3 of the 2005 World Series against the Chicago White Sox.
Document 15: World Series: In the American League, the New York Yankees have played in 40 World Series and won 27, the Philadelphia / Kansas City / Oakland Athletics have played in 14 and won 9, and the Boston Red Sox have played in 12 and won 8, including the first World Series. In the National League, the St. Louis Cardinals have appeared in 19 and won 11, the New York / San Francisco Giants have played in 20 and won 8, the Brooklyn / Los Angeles Dodgers have appeared in 18 and won 6, and the Cincinnati Reds have appeared in 9 and won 5.
ground_truth: Red Sox
sub_queries: Joaquín Andújar >> member of sports team Answer: Houston Astros
who did Houston Astros play in the playoffs Answer: Red Sox