[U. S. Mint building at Market, Buchanan and Duboce streets]