which panama canal museum to see

Monday I went to the Miraflores locks on a Complete ticket ($8) which entitled me to watch the locks, go through the museum, and watch a video.  The museum, at least as…