Portugisisk Østafrika, kolonitidens navn for Mozambique.