そして発見された惑星は、冥王星と名付けられた。