With an estimated $173 million in international earnings and a global total of $377 million, “Mario” broke records for video game adaptations (passing “Warcraft’s” $210 million) and animated films (“Frozen 2’s” $358 million).