NBC: North Korea detains 3 shipyard officials over the failed launch of a naval destroyer