The departure of William of Orange and Princess Mary for Holland