Have long held that taxpayer owned public buildings SHOULD NEVER be named after anyone other than citizens who have fallen while in the service of those in our country.
That would include military personnel, LEO's, firefighters, helicopter ambulance pilots, etc. both at the federal and state level.
Politicians should not automatically be on anyone's list for just doing their job; to say nothing of the fact many folks voted against any such politician.
“This is the time in our lives that we're making history... this is our moment... we all came into the military knowing that we could be sent over here, but we chose to do that anyway... ‘cause we choose to believe that the patch [American Flag] that we wear on our shoulder stands for something greater than our selves, greater than where we're from... we're the fabric that holds the flag together.”