北朝鮮、トンネル掘る工兵をロシア派遣の可能性…兵力1万5000人予想