Input (grade 8): Destin is a city located in Okaloosa County, Florida.
Output (grade 5): Destin is a city of Florida in the United States.