carlistbrigadier , Velasco , mördats af sina egna soldater.