Mars once trademarked “fun” in a brutal legal battle over mini candy