Canal de Panama, passage d'écluse à Miraflores