. . . "Coral Springs, Florida, is a planned city in the United States." .