North Korea publicly executes defense chief