What is the punishment for a war criminal