Aunque sus descubridores (y mucha gente de los medios de comunicación) lo llamaron inmediatamente el décimo planeta.