El 25 de julio se llevó a cabo la batalla del Pantano de Vargas.