minor planet names dictionary