Do IRS agents count as police officers?