Eris or Proserpine?: In search of the real name and meaning of a new planet