：×海王星刚被发现时，其发现人建议命名为乔治三世星