The Russians did it.
The Soviet KGB (and I presume their Russian successors) reserved the most gruesome punishments for traitors. Dispatching an enemy was done as best met the tactical requirements and assets available. But liquidating one of your own was always meant as a lesson to his colleagues.
