"Around 10 civilians were executed" after armed men, likely belonging to the region's Islamic State branch, attacked residents of Dambam heading to market, a military official said.