Warplanes pounded ISIS's de facto Syrian capital Raqqa on Tuesday, killing at least 23 people including 13 militants, activists said. The British-based Syrian Observatory for Human Rights said that either Syrian or Russian warplanes are believed to have carried out the strikes. "Thirteen...