US government closure caused a large number of government websites to expire HTTPS certificates