A smooth takeoff, King Charles has left Holyrood Palace, Scotland