North Korea is helping China in the South China Sea—whether it knows it or not