The United States observes a National Day of Mourning for former President Jimmy Carter, acknowledging