Miraflores Locks, Panama Canal