Question: Mike is one of the main characters in which movie, Monsters, Inc. or Shipwrecked?
Sentence (from "Monsters, Inc."): Monsters, Inc. is a 2001 American computer-animated comedy film produced by Pixar Animation Studios and distributed by Walt Disney Pictures.
Relevant evidence: Yes