Son 13 los muertos, incluido el tirador, en la matanza que se produjo el lunes por la mañana en el Astillero Naval, dijo el alcalde de Washington, Vincent Gray.