Marvel and DC no longer share the trademark for the term ‘super hero’ in the US  Popverse