República de Mauricio