[size=30]North Korean leader executes four officials after Trump summit