-- AlterTable: rename column without data loss
ALTER TABLE "Trip" RENAME COLUMN "mountain" TO "destination";
