Task: Question Generation
Input (English): Context_1 : KRKN (104.3 FM, "New Country 104.3") is a radio station broadcasting a country music format. Licensed to Eldon, Iowa, United States, the station serves the Ottumwa area. The station is currently owned by Linder Radio Group. Context_2 : KAWO (104.3 FM, "Wow Country 104.3") is a commercial radio station located in Boise, Idaho. KAWO airs a country music format branded as "Wow Country 104.3". Until 2007, the station was called "My Country 104.3" and its call letters were KTMY. Context_3 : XHENX-FM is a radio station on 104.3 FM in Mazatlán, Sinaloa. It is owned by ABC Radio and is known as Radio Mujer. Context_4 : KZTP (104.3 FM, "104.3 The Party") is a radio station broadcasting a Top 40 (CHR) format. Licensed to the community of Sibley, Iowa, United States, the station serves the Worthington, Minnesota area. The station is currently owned by Absolute Communications. Context_5 : KFRH (104.3 FM) – branded as 104.3 Now FM – is a commercial radio station in North Las Vegas, Nevada, broadcasting to the Las Vegas, Nevada area on 104.3 FM. Context_6 : KBIG (104.3 FM 104.3 MYfm) is an FM radio station in Los Angeles, California, owned by iHeartMedia. The station plays a Hot Adult Contemporary format heavy on music from current hits through the 1990s. The station has studios located in Burbank and its transmitter is based on Mount Wilson. Context_7 : Mazatlán (] ) is a city in the Mexican state of Sinaloa. The city serves as the municipal seat for the surrounding "municipio", known as the Mazatlán Municipality. It is located at on the Pacific coast, across from the southernmost tip of the Baja California Peninsula. Context_8 : KPHW (104.3 FM) is a Rhythmic Top 40 station licensed to Kaneohe, Hawaii, and serves the Honolulu radio market. The Summit Media outlet known as Power 104.3 (billed as "Hawaii's Hit Music Channel"), broadcasts at 104.3 MHz with an ERP of 75 kW. It is also transmitting on Oceanic Time Warner Cable digital channel 858 for the entire state of Hawaii. Context_9 : KKSD (104.3 FM, "Hippie Radio 104.3") is a radio station broadcasting a classic hits format. Licensed to Milbank, South Dakota, United States, the station serves the Watertown, South Dakota area. The station is currently owned by Digity, LLC, through licensee Digity 3E License, LLC. Context_10 : WJMK (104.3 FM) is a classic hits radio station in Chicago, Illinois. The station is known as "K-Hits 104.3." The station adopted this format on March 14, 2011, after spending 6 years as Jack FM. Prior to that, WJMK spent 21 years as an oldies station. WJMK is owned by CBS. fact_1 : XHENX-FM is a radio station on 104.3 FM in Mazatlán, Sinaloa. fact_2 :  It is owned by ABC Radio and is known as Radio Mujer. fact_3 :  The city serves as the municipal seat for the surrounding "municipio", known as the Mazatlán Municipality. Answer: Sinaloa
Output (English): XHENXFM on 104.3 FM serves which Mexican state?