what builder launched 20 jun 1953?
CREATE TABLE "ships" (
  "ship" text,
  "original_pennant_number" text,
  "builder" text,
  "laid_down" text,
  "launched" text,
  "commissioned" text
);
SELECT "builder" FROM "ships" WHERE "launched"='20 jun 1953';