Question: Mike is one of the main characters in which movie, Monsters, Inc. or Shipwrecked?
Sentence (from "Monsters University"): John Goodman, Billy Crystal, Steve Buscemi, Bob Peterson, and John Ratzenberger reprise their roles as James P. Sullivan, Mike Wazowski, Randall Boggs, Roz, and the Abominable Snowman, respectively.
Relevant evidence: No