I ended up giving a nickname to a coworker like that "destroyer of worlds" Then I got him bumped to a another team for awhile. Then he ended up back on my team and I eventually quit. In my exit interview I mentioned him.I am sorry but keeping an employee around that is pushed from project to project because no one wants him on his team is bad for the entire company. So I honestly would bring attention to it eventually.