dödsdomen öfver insurgentchefen Mujica.