Question: Who managed the Detroit Tigers in the 142nd Major League Baseball season?

full_context: Document 1: 2017–18 NBA season: The 2017–18 NBA season will be the 72nd season of the National Basketball Association (NBA). The regular season will begin on October 17, 2017, earlier than previous seasons to reduce the number of "back-to-back" games teams are scheduled to play, with the 2017 runners-up Cleveland Cavaliers hosting a game against the Boston Celtics at Quicken Loans Arena in Cleveland, Ohio. Christmas games will be played on December 25. The 2018 NBA All-Star Game will be played on February 18, 2018, at the Staples Center in Los Angeles, California. The regular season will end on April 11, 2018 and the playoffs will begin on April 14, 2018.
Document 2: Al Sobotka: Al Sobotka (born October 16, 1953) is the building operations manager for Olympia Entertainment. His responsibilities include day-to-day operations at Little Caesars Arena. He was also involved in the operations of Cobo Arena until Olympia Entertainment relinquished management in 2011 and Joe Louis Arena until it closed for good in 2017. Sobotka is known mostly for driving the Zamboni during Detroit Red Wings games for the past 30 years and for collecting the octopuses thrown on the ice during Red Wings playoff games. The official mascot of the Red Wings is named after Sobotka. Sobotka came in second with 97,261 votes in Zamboni News' 1999 Zamboni "Driver of the Year" Award.
Document 3: 2017 Major League Baseball season: The 2017 Major League Baseball season, the 142nd and current 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 is scheduled to end on October 1. The postseason will begin on October 3. The 2017 World Series is set to begin October 24 and a potential Game 7 is scheduled for November 1.
Document 4: 2011 Major League Baseball season: The 2011 Major League Baseball season began on Thursday, March 31, and ended on Wednesday, September 28. This marked the first time a season began on a Thursday since 1976, and the first time a regular season ended on a Wednesday since 1990. The 82nd edition of the Major League Baseball All-Star Game was played at Chase Field in Phoenix, Arizona, on July 12 with the National League defeating the American League for the second straight year, by a score of 5–1. As has been the case since 2003, the league winning that game has home field advantage in the World Series. Accordingly, the 2011 World Series began on October 19, and ended on October 28, with the St. Louis Cardinals winning in seven games over the Texas Rangers.
Document 5: 2007 Detroit Tigers season: The Detroit Tigers 2007 season ended with the 88-74 Tigers finishing runner-up in the AL Central Division, eight games in back of the AL Central Champion Cleveland Indians. They failed in winning the Wild Card, a task which they achieved in 2006, and going on to win the AL Pennant.
Document 6: Detroit Tigers: The Detroit Tigers are an American professional baseball team based in Detroit, Michigan. The Tigers compete in Major League Baseball (MLB) as a member club of the American League (AL) Central division. One of the AL's eight charter franchises, the club was founded in Detroit in 1901 . They are the oldest continuous one-name, one-city franchise in the AL The Tigers have won four World Series championships (, , , and ), 11 AL pennants (1907, 1908, 1909, 1934, 1935, 1940, 1945, 1968, 1984, 2006, 2012), and four AL Central division championships (2011, 2012, 2013, and 2014). The Tigers also won division titles in 1972, 1984 and 1987 while members of the AL East. The team currently plays its home games at Comerica Park in Downtown Detroit.
Document 7: 1997 World Series: The 1997 World Series, the 93rd edition of Major League Baseball's championship series, began on October 18 and ended on October 26 (after midnight October 27). It featured the Cleveland Indians of the American League (playing in their second World Series in three years) and the Florida Marlins of the National League (who had set a record by reaching the World Series in only their fifth season). The Marlins, who were underdogs, capped a stunning season. They defeated the Indians four games to three to win their first World Series championship, making them the first wild card team to ever win the World Series. The final of Game 7 was decided in extra innings on an Édgar Rentería single. This was also the fourth time where Game 7 of the World Series went into extra innings, and the most recent until the 2016 World Series, in which the Indians also lost in extra innings, this time to the Chicago Cubs.
Document 8: List of Massachusetts Marauders seasons: This is a list of seasons completed by the Massachusetts Marauders. The Marauders were a professional arena football franchise of the Arena Football League (AFL), based in Worcester, Massachusetts. The team was established in 1988 as the Detroit Drive. The franchise appeared in the ArenaBowl in every season in which they were located in Detroit, winning ArenaBowl II, ArenaBowl III, ArenaBowl IV, and ArenaBowl VI. Though the franchise was a consistent championship contender, then-owner Mike Ilitch sold the Drive after purchasing the Detroit Tigers of Major League Baseball. The new owner then moved the team to Massachusetts for the 1994 season, where they changed their name to the Marauders. After an altercation between the new owner and the commissioner of the AFL, the team folded. Almost three years later, Dan DeVos, son of Amway co-founder and current owner of the NBA's Orlando Magic, Richard DeVos, bought the franchise out of bankruptcy court. The franchise would play in the 1998 season, but as the Grand Rapids Rampage, however the Rampage do not retain the history and records of the Detroit/Massachusetts era. While in Detroit, the Drive played at Joe Louis Arena, and at Worcester Centrum for their single season in Massachusetts.
Document 9: 2017 MLS Cup Playoffs: The 2017 MLS Cup Playoffs (branded as the 2017 Audi MLS Cup Playoffs for sponsorship reasons) will begin on October 25, and ended on December 9 with MLS Cup 2017, the 22nd league championship match for MLS. This is the 22nd version of the MLS Cup Playoffs, the tournament culminating the Major League Soccer regular season.
Document 10: 2017 Cincinnati Reds season: The 2017 Cincinnati Reds season was the 128th season for the franchise in Major League Baseball, and their 15th at Great American Ball Park in Cincinnati. The Reds opened the season with a game against the Philadelphia Phillies on April 3 at the Great American Ball Park and will finish the season on October 1 against the Chicago Cubs at Wrigley Field. The Reds were eliminated from postseason playoff consideration on September 14, 2017.
Document 11: 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 12: 2017 Detroit Tigers season: The 2017 Detroit Tigers season was the team's 117th season. This was the team's fourth and final year under manager Brad Ausmus. This was the first season without owner Mike Ilitch, who bought the team in 1992 and died on February 10, 2017. The Tigers 2017 uniform features a "Mr. I" patch to honor him, the grounds crew wrote "Mr. I" in the outfield of Comerica Park, and he was also honored during a ceremony at the Tigers home opener on April 7.
Document 13: 2014 Detroit Tigers season: The 2014 Detroit Tigers season was the team's 114th season. This was the team's first year under a mostly new coaching staff led by rookie Manager Brad Ausmus. On September 28, the last day of the regular season, the Tigers clinched the American League Central title with a 3–0 win over the Minnesota Twins. The Tigers finished one game ahead of the Kansas City Royals, with a 90–72 record. It was their fourth consecutive American League Central title. They became the first AL Central team to win four consecutive titles since the Cleveland Indians won five straight from 1995 to 1999, and the first Tigers team to ever make four consecutive postseason appearances. Despite all of this, the Tigers' season ended on October 5 when they were swept by the Baltimore Orioles in the American League Division Series. This snapped Detroit's streak of three consecutive American League Championship Series appearances.
Document 14: 2007 American League Division Series: The 2007 American League Division Series (ALDS), the opening round of the 2007 American League playoffs, began on Wednesday, October 3 and ended on Monday, October 8. The 2007 AL Division Series consisted of three AL division champions and one wild card team, participating in two best-of-five series. They were:
Document 15: 1999 Detroit Tigers season: The 1999 Detroit Tigers had a record of 69–92 and finished in third place 27½ games behind the Indians. After a century of baseball at the corner of Michigan and Trumbull, the 1999 season was the last for the team at Tiger Stadium. On September 27, 1999, Robert Fick had the final hit of the final game at Detroit's Tiger Stadium, a rooftop grand slam, which was the stadium's 11,111th home run. In the 2000 season, the Tigers moved to Comerica Park.
ground_truth: Brad Ausmus