The stock market closed today for Jimmy Carter?