Shooting at Washington, D.C. Navy Yard; 13 People Killed