Harbor dredging: issues and historical funding (june 14, 2019) (2019 dredging crs report