Is China helping North Korea build its weak naval power?