“It is said to be one of the handsomest buildings at the cost ever erected by the United States government.”