hus , sorn erkänts såsom presidentens officiella residens , är eller skulle vara kändt under namnet Guarda Holtse.