20150825 world.rest-of-world: Islamic State executes four people in central Libyan city