How big is punta gorda