Portuguese Decolonization in the Indian Ocean World: History and Ethnography