DOGE has entered the IRS building