Contemplating the engineering marvels and complicated history of the Panama Canal while watching a cargo ship transit the locks at Miraflores