Table schema:
CREATE TABLE table_name_80 (name VARCHAR, death VARCHAR)

Question: what is the name when death is november 10, 1842?
SQL: SELECT name FROM table_name_80 WHERE death = "november 10, 1842"