You are right. Sorry about that, confusing the thread.
No worries. There are so many different kinds of executions in North Korea it’s hard to keep up!