execution ~ military disciplinary punishment

execution ~ military disciplinary punishment