Terror attack in Vienna, Austria. Islamist stabs a policeman in the neck. Horrific!