20170818 world.europe: Terror attack in Spain: What we know so far