Nine soldiers and two police officers were killed in the ensuing gun battle, and two police officers were wounded, the officials said.
The wounded police officers could remember the events that occurred.