The fight against Huerta formally ended on which date