Es también el nombre de la residencia oficial del Presidente de la República.