They wouldn't know it to write it unless it was already public knowledge.
Cheyenne Mountain has bee known about for decades.