John Tyler is one of America's presidents.