Martinez dödade general Marcia med ett pistolskott.