North Korea vice-premier Choe Yong-gon ‘executed’