North Korea Repairs & Relaunches Destroyer For Second Time, Plans 2 More Warships