La pacificación se proclamó oficialmente el 15 de julio.