The mishap is a major setback to the North Korean leader’s dream of modernizing his country’s outdated naval fleet.