Question: Who managed the Detroit Tigers in the 142nd Major League Baseball season?
Sentence (from "2017 Major League Baseball season"): The postseason will begin on October 3.
Relevant evidence: No