Dutch War, 1672-1678