海王星、冥王星、天王星被称为和程远日星,那么“和程远日星”这个单词用英语怎么讲?