The National Security Agency’s headquarters.