著作権が絡んでくるから多分公開されてないです。 任天堂の曲だから大丈夫と思いそうですが、 プチコンの公開規約を見ると著作物はダメ 的な事が書かれているから大丈夫でないです。

いや、だれかが投稿したんですよ。その人を探しているんです。