Is it normal to shut down the postal service when a former president dies?