East Africa’s leaders have agreed to extend until September the mandate of a regional military force deployed to quell violence in the strife-torn east of the Democratic Republic of Congo.