Intelligence funds under proposed 2020 budget