East African heads of state have agreed to deploy a joint military force to eastern Democratic Republic of Congo to deal with the armed groups operating in that region. The BBC reports that at a summit in the Kenyan capital Nairobi on Thursday, the regional leaders resolved that such a force should be mobilised with immediate effect. There are no details yet on the size of the proposed force. The last few weeks have seen a resurgence of one of the biggest fighting groups, the M23 rebels.