The deceased gunman in the shooting at a naval installation in Washington DC has been named as Aaron Alexis, unnamed officials tell US media.

for more...