Because of colonization of the New World by European explorers, the official language of Brazil is ________.