It is a real shame that the washington post cost the american tax payers MILLIONS of dollars by exposing this safe place for our government officals. Keeping in mind they had to have another place and Im sure it cost a lot more in current dollars to build.