When did the battle for Mexico City take place