Captain Marvel was dead, to begin with. More than one Captain Marvel, if we want to be perfectly accurate about it. By 2012, the Marvel Comics hero that bore the company name had been relaunched in no fewer than six different series, and seen a total of three separate characters take on the name. More than three…