Does anyone know for certain if 87,000 IRS agents were really hired in the past 2 years?

Trump going to withdraw funds from California HSR?

Multiple stories coming out.

At least we got the Bkrfld to Merced portion partially built.

https://www.dailynews.com/2025/02/15/is-it-the-end-of-the-line-for-californias-high-speed-rail-project/