20150719 world.europe: Intensified shelling in east Ukraine kills four civilians; soldier