North Korea says it has repaired a damaged destroyer and launched it in the water