William the Third and the defence of Holland 1672-1674