North Korea has launched a warship that was damaged in May upon its attempted first launch, state media KCNA reported on Friday. After restoring the balance of the 5,000-tonne destroyer earlier in June, it was launched on Thursday and is now moored at a pier, KCNA said.