I think the last record loss for Disney was a movie called something like "Mars Needs Moms"? So, Disney stayed away from a Mars title. I don't think Carter was even in the original title of the story.

"Today's kids don't know anything", man we are our fathers aren't we!

Every normal man must be tempted, at times, to spit on his hands, hoist the black flag, and begin slitting throats. H. L. Mencken