International Astronomical Union, star names and Pluto