I like the theme of the gods that we have going. I guess I would want to know, is it a BIG planet like all our favorites? If so, I would want to give it a real name, another Roman god or goddess, one that hasn’t been used…perhaps Apollo, or Juno. Or leaving Roman/Greek, how about Thor? But if it was a teensy weensy planet (micro planet, or sorry, I guess the technical term is dwarf planet), I would want it to have a name reflecting its significance, like Robigo (the goddess of corn), or Subrincinator (the god of weeding), or Potina (the goddess of children’s drinks).
Now that I look more closely at your question, which is how to name “this” new planet, I realize I don’t pay enough attention to the news. Or maybe I do. Since I now presume this isn’t so much a theoretical question, my ideas after the words “teensy weensy” about sum up my opinion on this. I think I’ll be praying to Subrincinator next spring to protect my lawn. Hope y’all have a good weekend. :)