vacation days have been used so far this year by American workers.