Red and yellow buildings in Dublin Castle