North Korea launches first 5000-ton destroyer