Rio carnival was introduced ___ Brazil by Portuguese in 1647 to celebrate their independence ___ Spanish domination.