Congress is trying to give Trump $73 billion for his war in Iran. Here’s what it could fund instead.