Question: Who managed the Detroit Tigers in the 142nd Major League Baseball season?
Sentence (from "2017 Detroit Tigers season"): The 2017 Detroit Tigers season was the team's 117th season.
Relevant evidence: Yes