Rio de Janeiro is part of Brazil