what is the maximum number of hull nunbers where ship name is kri yos sudarso?
CREATE TABLE "table1_12232526_2" (
  "class" text,
  "ship_name" text,
  "origin" text,
  "hull_numbers" real,
  "service_years" text,
  "previously" text,
  "note" text
);
SELECT MAX("hull_numbers") FROM "table1_12232526_2" WHERE "ship_name"='KRI Yos Sudarso';