A pun doesn't make a name not trademark infringement.