Tres policías turcos y 6.000 milicianos de Estado Islámico mueren en un enfrentamiento