Translate the following question to SQL: What are the official names of cities that have hosted more than one competition?

Schema: CREATE TABLE city (
    City_ID INT   PRIMARY KEY,
    Official_Name TEXT,
    Status TEXT,
    Area_km_2 REAL,
    Population REAL,
    Census_Ranking TEXT,
    UNIQUE (City_ID)
);

CREATE TABLE farm (
    Farm_ID INT   PRIMARY KEY,
    Year INT,
    Total_Horses REAL,
    Working_Horses REAL,
    Total_Cattle REAL,
    Oxen REAL,
    Bulls REAL,
    Cows REAL,
    Pigs REAL,
    Sheep_and_Goats REAL,
    UNIQUE (Farm_ID)
);

CREATE TABLE farm_competition (
    Competition_ID INT   PRIMARY KEY,
    Year INT,
    Theme TEXT,
    Host_city_ID INT,
    Hosts TEXT,
    UNIQUE (Competition_ID),
    FOREIGN KEY (Host_city_ID) REFERENCES city(City_ID)
);

CREATE TABLE competition_record (
    Competition_ID INT   PRIMARY KEY,
    Farm_ID INT   PRIMARY KEY,
    Rank INT,
    PRIMARY KEY (Competition_ID, Farm_ID),
    UNIQUE (Competition_ID, Farm_ID),
    FOREIGN KEY (Farm_ID) REFERENCES farm(Farm_ID),
    FOREIGN KEY (Competition_ID) REFERENCES farm_competition(Competition_ID)
);
user
SELECT T1.Official_Name FROM city AS T1 JOIN farm_competition AS T2 ON T1.City_ID  =  T2.Host_city_ID GROUP BY T2.Host_city_ID HAVING COUNT(*)  >  1
assistant