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 ...