Removal of Escherichia coli from ballast water via high-gradient magnetic separation