Does America need more border patrol agents and less IRS agents?