$17.5M for Wilmington dredging