A Man Who Runs the IRS Spied on Colleagues When He Worked at JPMorgan