Earlier this was called the Battle of Socorro , but that was in retrospect; it is quite possible that the battle has not yet been named while Decoud writes, an indication that official 'history' is in remission here.