Internal Revenue Service — revenue service of the United States federal government