Da armada real para a marinha imperial: as unidades e organismos que ficaram no Brasil e as que voltaram para Portugal