an Entity references as follows:
Coral Springs, officially the City of Coral Springs, is a city in Broward County, Florida, United States. The city is located approximately 20 miles (32 km) northwest of Fort Lauderdale. As of the 2020 U.S. Census, the city had a population of 134,394. It is a principal city of the Miami metropolitan area, which was home to an estimated 6,012,331 people at the 2015 census.