Punta Gorda (nombre propio): Población en el estado de Florida, Estados Unidos.