“The total size of the U.S. labor force in July was lower than it was in January of the same year.”