Question: What was this ant's original name?
Relevant Wikipedia article: https://en.wikipedia.org/wiki/Red_imported_fire_ant