La Armada ha señalado en un comunicado que el tiroteo tuvo lugar en el fuertemente custodiado Cuartel General, donde trabajan alrededor de tres mil personas.