Marking July 4th during a government shutdown