20170710 city.jind: Man kills youth for tip-off to cops