The Palácio da Alvorada is the official residence of the President of Brazil. How large is the Alvorada