Hundreds of rebels were also killed.