정용진 야구단 이름 '일렉트로스'되나…상표권 출원