US shed 23,000 jobs in July — Semafor