How much damage to government buildings, equipment, and property will be done by outgoing Team Biden people if Donald Trump is elected as president in the fall?