Jimmy Carter death: What is a national day of mourning?

Following Jimmy Carter’s death at the age of 100, his funeral will be first for a Democratic president in more than half a century