And going way back to the Silver Age, the original Marvel Captain Marvel was a Kree whose name was 'Mar-Vell', a character who was created entirely so that Marvel Comics could trademark the name after the original trademark had lapsed due to, ironically enough, a lawsuit from DC which alleged...