20150803 world.rest-of-world: IS executes 15 Iraqi police officers