Pretty much. And for etymology searches like this Wiktionary is a life saver. Just type in hippocampus and follow the link rabbit holes, and it gives you the etymology: hippocampus < hippocamp (mythical sea monster) < hippos (horse) + kampos (shark).