Trece personas han perdido la vida, entre ellas el asesino, en un tiroteo en la Comandancia de Sistemas Navales de la Marina en Washington.