thirteen marines and seven police officials were killed in the ensuing gun battle , and two police officers were hospitalized , the officials stated .
Six policemen and two soldiers were killed in a gunbattle, officials said.