First formic war