CREATE TABLE table_72813 ("Name" TEXT, "Latitude" TEXT, "Longitude" TEXT, "Diameter  ( km ) " TEXT, "Year named" FLOAT, "Name origin" TEXT)

What is the diameter in km of the feature named Colette Patera?
SELECT "Diameter (km)" FROM table_72813 WHERE "Name" = 'Colette Patera'
SELECT "Diameter (km)" FROM "table_72813" WHERE "Name" = 'Colette Patera'