そいやあ現北朝鮮の金剛山は、日本の金剛山とは関係ないんだっけ?