A post office is a government building