El Ejército sirio toma la ciudad de Al Mayadín, uno de los últimos reductos del Estado Islámico en Siria