Question: Who managed the Detroit Tigers in the 142nd Major League Baseball season?
Sentence (from "List of Detroit Tigers no-hitters"): Pitchers for the Tigers have thrown seven no-hitters in franchise history.
Relevant evidence: No