the history of the korean people's navy is short compared to other modern navies