How many schools are named otafuku tholi?
CREATE TABLE "tholi" (
  "name" text,
  "latitude" text,
  "longitude" text,
  "diameter_km" text,
  "year_named" real,
  "name_origin" text
);
SELECT COUNT("year_named") FROM "tholi" WHERE "name"='Otafuku Tholi';