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.