De allí surge el gentilicio «boricua».