Mueren 20 personas en nuevos enfrentamientos entre el Ejército y un grupo vinculado a Estado Islámico en RDC