South Korea’s National Pension Service has a decision to make — help the world’s biggest shipmaker survive, or let it die.