Should sediments dredged from the Cuyahoga River be pumped in Lake Erie?