Thousands of ships transit the Panama Canal every year, but few imagine what happens when one of its locks needs to be repaired. The Pedro Miguel locks, one of the original structures built by the ...