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

Question: What is the name for district total:?
SQL: SELECT name FROM table_name_80 WHERE district = "total:"