King Charles III leaves the Palace of Holyroodhouse to fly from Edinburgh Airport to Northern Ireland. Report by Lewisl.