What is Launched, when Commissioned is "25 July 1998"?
CREATE TABLE "ships_in_class" (
  "ship" text,
  "hull_number" text,
  "laid_down" text,
  "launched" text,
  "commissioned" text
);
SELECT "launched" FROM "ships_in_class" WHERE "commissioned"='25 july 1998';