What punishment should a 13 year old get if he murder a cop in school?

[True Federalist (진정한 연방 주의자)]

Answered the poll without reading the thread.

If it had been murder, then the death penalty (and not because the victim was a cop).

However, what was described in the thread doesn't meet any reasonable standard for murder for adults, let alone juveniles.  It's also unclear whether the cop he stabbed was the same who went Rodney Duke on him.  (Since the kid was able to go to school two days later, it appears what he suffered doesn't rank high enough to be called a King.)  At most 20 years, at minimum juvenile detention until he graduates high school or is 21, whichever comes first.

[True Federalist (진정한 연방 주의자)]

Forced to read nkpatel's posting history.

I believe that would be considered cruel and unusual punishment.

[True Federalist (진정한 연방 주의자)]

Not even question for me.

?

His lawyer doesn't want him commenting on anything similar to his case.