Civilian gives Border Police a tip-off about Arab suspect; after he draws knife to stab them they shoot him dead.
