Gunman shot dead by police after New York Christmas concert
HEDGE accordingly