Balloons and Human Strength: How North Korea Righted a Toppled Warship