El Ejército turco bombardeó hoy posiciones del grupo yihadista Estado Islámico (EI) en Siria después de que dos proyectiles de mortero lanzados desde territorio sirio cayeron en la localidad fronteriza turca de Karkamis, sin provocar víctimas.