Hold on a sec, do both DC and Marvel have characters named Captain Marvel?