Discussion of "Panama Canal: Its Major Marine Operational Problems and Solution"