Number of working Americans on vacation in July