At the other end of the royal mile, the Palace of Holyroodhouse