The departure of Stadtholder William III and Princess Mary to Holland