Donald Trump's record-setting partial shutdown of the U.S. government — which kept roughly 800,000 federal workers unpaid for more than a month — is finally over. Don't forget to thank…