ǎi xíng xīng jiù chēng

矮行星旧称

old name for dwarf planet