What are the total deaths from the Battle of Tel Hai prior to Israel's independence?
CREATE TABLE "arab_violence" (
  "conflicts_prior_to_israel_s_independence" text,
  "military_deaths" text,
  "civilian_deaths" text,
  "total_deaths" text,
  "military_and_or_civilian_wounded" text,
  "total_casualties" text
);
SELECT "total_deaths" FROM "arab_violence" WHERE "conflicts_prior_to_israel_s_independence"='battle of tel hai';