The Panama Canal, a day at the Miraflores Locks