The way I look at it, we didn’t lose a planet. We gained several others as dwarf planets. Dwarf planets are still planets after all. Pluto is their king. And if there’s one thing we should have all learned by now it’s that you don’t mess with dwarf kings.