army corps of engineers entity that had finished the panama canal