Wikipedia editors finally remove an article about a battle that never actually happened.