Jimmy Carter's formal farewell to the American public