Yes, long legal drama with Captain Marvel name. Basically DC Comics bought Captain Marvel after running the publisher out of business by trying to sue them, they then bought the rights and sat on them. Without copyrighting the name, so Marvel did.
Then there's Mircleman, but that's for another time.