"Jorge R. Frank" wrote in message
...
Regardless of whether Pluto remains a "planet"

It's a planet. However, any definition that includes Pluto also must include
Sedna. So we now have ten known planets.