Is there a reindeer named Olive?

Supposedly a female reindeer in the Rudolph story because "olive" sounds like "all of" in the song lyric "all of the other reindeer, used to laugh and call him names."