Question: What is the location of the prison in which Khalfan Khamis Mohamed is currently being held?

Context paragraphs:
Abdulfattah Asiri: Abdulfattah Asiri (Arabic: عبد الفتاح توفيق عسيري‎ ‎ ; born 26 February 1994 in Khamis Mushayt) is a Saudi Arabian footballer from Khamis Mushayt who currently plays for Al-Ahli as a Right Winger.

Karam Khamis Sayd Khamsan: Karam Khamis Sayd Khamsan "(also transliterated as Karama Khamis and Khamis Al-Mulaiki)" is a citizen of Yemen who was held in extrajudicial detention in the United States Guantanamo Bay detainment camps, in Cuba.

Khalid Salman: Khalid Salman Al-Muhannadi (Arabic: خالد محمد سلمان المحري المهندي ; born 5 April 1962, in Qatar) is a former Qatari footballer, playing and scoring in World Youth Championships, various Gulf Cups and the 1984 Summer Olympics.  He was part of a golden generation of Qatari footballers in the eighties and nineties along with Mansoor Muftah, Ibrahim Khalfan, Mahmoud Soufi, Adel Khamis and many more.  His most memorable matches include those against Brazil in the World Youth Championship (he scored a hat-trick) and against France at the 1984 Olympics.  He retired from football in September 1998, playing his retirement match against Sudan under national team coach Luiz Gonzaga.  The match ended 1–1.

Mohamed Khamis Taher: Mohamed Khamis Taher (born 30 December 1959) is a Libyan long-distance runner.  He competed in the men's marathon at the 1992 Summer Olympics.

Dhahi Khalfan Tamim: Dhahi Khalfan Tamim (born 1 October 1951) is a Lieutenant General and is the Head of General Security for the Emirate of Dubai.  He was chief of the Dubai Police Force until the end of the 2013, which is when Khamis Al-Mazeina (died 2016) took over.  He came to international attention while overseeing the investigation of the group suspected of the assassination of Mahmoud al-Mabhouh.

Chambani by-election, 2013: The Chambani by-election was a by-election held for the Tanzanian parliamentary constituency of Chambani.  It was triggered by the death of Salim Khamis, the previous Member of Parliament (MP) who had held the seat for the Civic United Front (CUF) since 2010.  The by-election took place on 16 June 2013 and the CUF candidate won by a landslide.

Khalfan Khamis Mohamed: Khalfan Khamis Mohamed (Arabic: خلفان النعيمي‎ ‎ ) (born 5 March 1974), a Tanzanian national, is one of numerous al-Qaeda suspects who were indicted in 1998, and one of the four who were convicted and sentenced to life without parole in 2001, for their parts in the 1998 United States embassy bombings.  Convicted along with Mohamed were Wadih el Hage, Mohammed Saddiq Odeh, and Mohamed Rashid al-Owhali.  He is currently held in the supermax prison known as ADX Florence.

Rumaliza: Muhammad bin Khalfan bin Khamis al-Barwani (born c. 1855), commonly known as Rumaliza, was a Swahili slave and ivory trader in East Africa in the last part of the nineteenth century.  With the help of Tippu Tip he became Sultan of Ujiji.  At one time he dominated the trade of Tanganyika, before being defeated by Belgian forces under Baron Francis Dhanis in January 1894.

Abdinur Sheikh Mohamed: Dr. Abdinur Sheikh Mohamed (Somali: "Cabdinuur Sheekh Maxamed" ; Arabic: عبد النور الشيخ محمد‎ ‎ ) is a Somali educator and politician.  He holds a Ph.D. in educational administration from the Ohio State University.  Mohamed worked for a number of years with the Ohio Department of Education.  From 2010 to 2011, he served as Minister of Education, Higher Education and Culture of Somalia under Prime Minister Mohamed Abdullahi Mohamed (Farmajo) in the Transitional Federal Government.  Mohamed currently is an educational consultant and Title III state coordinator with the Lau Resource Center for English as a Second Language, Bilingual and Multicultural Education at the Ohio Department of Education.  He is also an adjunct professor at Otterbein University in Westerville.

ADX Florence: The United States Penitentiary, Administrative Maximum Facility (ADX) is an American federal supermax prison for male inmates located in Fremont County, Colorado.  It is unofficially known as ADX Florence, Florence ADMAX, or the "Alcatraz of the Rockies."  It is part of the Florence Federal Correctional Complex, which is operated by the Federal Bureau of Prisons (BOP), a division of the United States Department of Justice.  It houses the male inmates in the federal prison system who are deemed the most dangerous and in need of the tightest control.  ADX also includes an adjacent minimum-security camp that, as of 2014 , houses more prisoners than the supermax unit.

Supporting paragraphs: Khalfan Khamis Mohamed ADX Florence
Answer: Fremont County, Colorado