Live updates: 55-year-old gunman identified after 1 killed and 4 injured in DC shooting – CNN