First off: I agree that Captain Marvel is the superior name. In a perfect world, he would still be called that without any problems. Unfortunately, we don’t live in a perfect world, and even if they did change it back for the comics, Disney put out a billion dollar movie this year called Captain Marvel. Legal issues aside, to the general public at large, Captain Marvel is an Avenger named Carol Danvers.
So, then, as an informal poll, what do you think DC should name Billy Batson’s alter ego, if not Captain Marvel or Shazam?