North Korea’s plan to modernize its Navy had an embarrassing setback late last month, when a new warship capsized during its launch. To get the vessel floating again, engineers toiling under the do-or-die mantra of their leader, Kim Jong-un, turned to an old-fashioned solution. Lacking the machinery to easily lift the 5,000-ton ship, a Choe Hyun-class destroyer, they used big balloons and deployed hundreds of workers, according to analysts and satellite images. On Thursday, two weeks after the