Even if that’s the case, Marvel owns the name “Captain Marvel” through some hilarious legal mumbo-jumbo. Which is why DC’s book is currently called “Shazam”
It’s pretty much the reason why Marvel keeps a “Captain Marvel” title in print, despite it constantly being a low seller.