What is the highest pennant number with ships in pori class?
CREATE TABLE "patrol" (
  "class" text,
  "ships_in_class" text,
  "pennant_number" real,
  "unit" text,
  "builder" text,
  "commissioned" text
);
SELECT MAX("pennant_number") FROM "patrol" WHERE "ships_in_class"='pori';