The military said Friday it overran a jungle camp of Islamic State-inspired extremists in Lanao del Sur province, as troops chased the rebels' alleged leader, Abu Dar.