The main entrance, with its Johansen-designed Great Seal of the US