What is the highest year named for the name Tie Fluctus?
CREATE TABLE "fluctus" (
  "name" text,
  "latitude" text,
  "longitude" text,
  "diameter_km" text,
  "year_named" real,
  "name_origin" text
);
SELECT MAX("year_named") FROM "fluctus" WHERE "name"='Tie Fluctus';