Question: Who managed the Detroit Tigers in the 142nd Major League Baseball season?
Sentence (from "2017 Major League Baseball season"): The 2017 World Series is set to begin October 24 and a potential Game 7 is scheduled for November 1.
Relevant evidence: No