CREATE TABLE table_12259 ("Built" FLOAT, "Ship" TEXT, "Operator" TEXT, "Tonnage" TEXT, "Flag" TEXT)

What ship was built in 2012?
SELECT "Ship" FROM table_12259 WHERE "Built" = '2012'
SELECT "Ship" FROM "table_12259" WHERE "Built" = '2012'