in district , has been the official residence of the president