20180719 citizen.stories: road ditch repaired few days ago