Mike is one of the main characters in which movie, Monsters, Inc. or Shipwrecked?
Monsters, Inc.: Monsters, Inc. is a 2001 American computer-animated comedy film produced by Pixar Animation Studios and distributed by Walt Disney Pictures.
i don't know