I’ve been having these red ants on my porch and this morning I found a cluster of them on my mint. I’ve been spraying them with a mix of Castile soap, water and rubbing alcohol. It seems to kill them when I find them on my tomato plants. Any other suggestions?