The announcement is in accordance with a Presidential Proclamation declaring a National Day of Mourning for Jimmy Carter.