10番目の惑星

NASA TV を見ようと思ってNASAのウェブ・サイトを閲覧したら、太陽系の10番目の惑星が発見された旨の記事が掲載されていました。
理科年表で調べると、７番目の惑星「天王星」が1781年、「海王星」が1846年、「冥王星」が1930年に発見されているようです。
これが10番目の惑星と確定されると、名前はなんとなるのだろう。

そういえば、ホルストの組曲「惑星」は1920年の初演で、当然といえば当然だけど「冥王星」はありません。それと「地球」もないか。