North Korea re-launches repaired 5000-ton destroyer, plans more