military operation by the national army of Colombia