reimposing “hydrologic separation” would, indeed, be the most effective way to keep carp out of the Great Lakes. It would also, in the Corps’ estimate, take twenty-five years—three times as long as the original digging of the canal had—and cost up to $18 billion.