Question: Mike is one of the main characters in which movie, Monsters, Inc. or Shipwrecked?
Sentence (from "Monsters, Inc."): Featuring the voices of John Goodman, Billy Crystal, Steve Buscemi, James Coburn, and Jennifer Tilly, the film was directed by Pete Docter in his directorial debut, and executive produced by John Lasseter and Andrew Stanton.
Relevant evidence: No