19 agencies on the president’s chopping block: How much would they save?