Question: Mike is one of the main characters in which movie, Monsters, Inc. or Shipwrecked?
Sentence (from "Shipwrecked (1990 film)"): In Norway, it was titled "Haakon Haakonsen".
Relevant evidence: No