Cabo Rojo es parte de Porta del Sol, y su municipio primario.