Donald Trump made a $3.7 trillion mistake in his budget