Trump abolishes IRS in 2025?

This market will resolve to "Yes" if the US Internal Revenue Department ceases operations entirely by December 31, 2025, 11:59 PM ET. Otherwise, this market will resolve to "No". If the IRS is merged with another agency, resulting in a consolidated department with a shared administrative structure which is no longer titled the Internal Revenue Service it will count as a "Yes" resolution. If it becomes impossible for Trump to sign legislation/perform executive actions (e.g. he resigns), this market will resolve to "No". The primary resolution source for this market will be official information from the US government, however a consensus of credible reporting will also be used.