Where does “海倫” come from?

海倫 (Chinese) comes from Manchu ᡥᠠᡳᠯᡠᠨ, from Proto-Mongolic *kalixun.

Ancestry of “海倫”, step by step

Step	Language	Word	Meaning
1	Manchu	ᡥᠠᡳᠯᡠᠨ	otter
2	Proto-Mongolic	*kalixun	—