Well no, the building tag is used to describe the *building*, not the current purpose of the building. It was clearly a government building at some point. Whether it's used still is a different matter. Closing note.