Prior to that, nine civilians had been killed in the course of operation Mariscal in the same neighbourhood in May.
Prior to that, nine civilians had been killed in the course of operation Mariscal in the same neighbourhood in May.