> if I remember correctly they were originally named in Spanish as "killers of whales" or "whale killers", because they do that

Wiktionary supports that etymology, and it is generally a high-quality source for etymology, but it's troubling that this one isn't cited.