Назовите героя русской сказки, которого в американском переводе политкорректно назвали "волшебным пони".