CREATE TABLE captain (captain_id DECIMAL, name TEXT, ship_id DECIMAL, age TEXT, class TEXT, rank TEXT)
CREATE TABLE ship (ship_id DECIMAL, name TEXT, type TEXT, built_year DECIMAL, class TEXT, flag TEXT)

What are the names of ships that have more than one captain?
SELECT t1.name FROM ship AS t1 JOIN captain AS t2 ON t1.ship_id = t2.ship_id GROUP BY t2.ship_id HAVING COUNT(*) > 1
SELECT "t1"."name" FROM "ship" AS "t1" JOIN "captain" AS "t2" ON "t1"."ship_id" = "t2"."ship_id" GROUP BY "t2"."ship_id" HAVING COUNT(*) > 1