Rio de Janeiro ökats från 500,000 till 1 , 200 , 000 personer.