There is another option: Role-playing. If this player has his/her character constantly oppose or interfere or ignore everyone elses' game plan - seems to me, your characters may get fed up with his/her character and kick them out. It is a wonderful tactic. It is "in game," totally fair, and a very blunt assessment of what is going on (It is also the most likely outcome of such behavior if you were to play your characters realistically.) A player will either get the message or get the message the next round with the same kind of character. The player might get upset, make a scene, and leave - oooh what a shame. Their character is obviously unconcerned with every other character - why are your characters concerned about theirs.
In a D&D Game, we had a player who just about got us killed for the fourth time, attempted to "charm" another character, AND stole from us. This character lost their spell book and was put aboard a ship heading far from our destination. The player was livid and left our game - and we found peace.