Context_1 : Hǎikǒu (), is the capital and most populous city of Hainan province, China. It is situated on the northern coast of Hainan, by the mouth of the Nandu River. The northern part of the city is the district of Haidian Island, which is separated from the main part of Haikou by the Haidian River, a branch of the Nandu. Context_2 : Xinmi (), formerly Mi County (密县), is a County-level city of Henan, China. It is under the administration of the Zhengzhou city. Context_3 : The Lanzhou–Haikou Expressway (), commonly referred to as the "Lanhai Expressway" () is an expressway that connects the cities of Lanzhou, Gansu, China, and Haikou, Hainan. When fully complete, it will be 2570 km in length. Context_4 : Hainan Airlines Co., Ltd. (HNA, ) is an airline headquartered in Haikou, Hainan, People's Republic of China. It is the largest civilian-run air transport company and the fourth-largest airline in terms of fleet size in the People's Republic of China. It operates scheduled domestic and international services on 500 routes from Hainan and nine locations on the mainland, as well as charter services. Its main base is Haikou Meilan International Airport, with a hub at Beijing Capital International Airport and several focus cities. Context_5 : Haiwen Expressway (Simplified Chinese:海文高速公路, Traditional Chinese:海文高速公路) connects the cities of Haikou and Wenchang in the Chinese province of Hainan. Context_6 : The Wenzhou–Lishui Expressway (), commonly referred to as the "Wenli Expressway" () is an expressway that connects the cities of Wenzhou, Zhejiang, China, and Lishui, Zhejiang. The expressway is a spur of G15 Shenyang–Haikou Expressway and is entirely in Zhejiang Province. Context_7 : The Shenyang–Haikou Expressway (), commonly referred to as the "Shenhai Expressway" () is an expressway in the People's Republic of China that connects the cities of Shenyang, Liaoning, and Haikou, Hainan. When fully complete, it will be 3710 km in length. Context_8 : The Changshu–Taizhou Expressway (), commonly referred to as the "Changtai Expressway" (), is an expressway that connects the cities of Changshu, a satellite city of Suzhou, in the province of Jiangsu, China, and Taizhou, in the province of Zhejiang. When fully complete, it will be 339 km in length. The expressway is a spur of the G15 Shenyang–Haikou Expressway. The spur line splits off from the main expressway at Changshu and passes through the cities of Suzhou, Jiaxing, and Shaoxing before rejoining the main expressway just north of Taizhou, Zhejiang. Context_9 : Qionghai () is one of the seven county-level cities of Hainan province, China. Although called a "city", Qionghai refers to a large land area in Hainan - an area which was once a county. Within this area is the main city, Qionghai City. It is located in the east of the island at the mouth of the Wanquan River, 86 km from the provincial capital of Haikou. It has an area of 1692 km2 and in 2010, it had a population of 483,217. Context_10 : Hainan is the smallest and southernmost province of China, consisting of various islands in the South China Sea. Hainan Island , separated from Guangdong's Leizhou Peninsula by the Qiongzhou Strait, is the largest island under PRC control (Taiwan, which is slightly larger, is also claimed but not controlled by the PRC) and makes up the majority of the province. The province has an area of 33920 km2 , with Hainan Island making up 32900 km2 (97%) and the rest divided among two hundred islands scattered across three archipelagos. It was administered as part of Guangdong until 1988, when it became a separate province; around the same time, it was made the largest Special Economic Zone established by Deng Xiaoping as part of the Opening Up of China. There are a total of ten major cities and ten counties in Hainan Province. Haikou on the northern coast of Hainan Island is the capital while Sanya is a well-known tourist destination on the southern coast. The other major cities are Wenchang, Qionghai, Wanning, Wuzhishan, Dongfang, and Danzhou. fact_1 : Xinmi (), formerly Mi County (密县), is a County-level city of Henan, China. fact_2 : Hǎikǒu (), is the capital and most populous city of Hainan province, China. Question: Are Xinmi and Haikou both cities ?
Output: yes