In what war did the jet fighters first battle each other?