Budget to dredge mississippi river