U.S. employers added 172,000 jobs in May, an unexpectedly strong showing – The Washington Post