What is the diameter in km of t'ien hu colles?
CREATE TABLE "colles" (
  "name" text,
  "latitude" text,
  "longitude" text,
  "diameter_km" real,
  "year_named" real
);
SELECT "diameter_km" FROM "colles" WHERE "name"='t''ien hu colles';