“A monthlong Philippine offensive against hard-line Muslim rebels ended Monday after 139 insurgents were killed, 12 others were captured and bomb-making strongholds were seized by troops, the military chief said.”
Source: Philippine troops end offensive they say killed 139 rebels – The Washington Post