Esclusas del Canal de Panamá, Pedro Miguel