Ho Chi Minh buries the explosive traitor.