Original: They have several common names including ginger ants and tropical fire ants.
Simplified: They are also called ginger ants and tropical fire ants.