Who was the last president to have been a veteran of the American Revolutionary War?