The ingenious design of the Panama Canal gates