Question: Which film, Shipwrecked or Saludos Amigos, is a 1942 American live-action animated package film produced by Walt Disney and released by RKO Radio Pictures?
Sentence (from "Shipwrecked (1990 film)"): In Norway, it was titled "Haakon Haakonsen".
Relevant evidence: No