To the question of the penetration of the word koral into modern reindeer herding vocabulary