Why did the maker of Disney's 1989 The Little Mermaid named the character Ariel, which means "Lion of God"? Were they aware of it, or choose the name for other reasons?