Not the best picture, but here is a photo of the Gamboa Pool.  Home of the Gamboa Dolphins.  The old Theater is the building in the background.  This was a wonderful pool with three different pools in one.   There was the diving pool at one end, 12ft. deep. The large middle pool was 4ft. deep and great for lap swimming and meets.  Then you had the baby pool, which was designed for the little ones.  It was by far one of the best laid out pools I have ever seen.  At one time, there was a gymnasium right next to it.  That was torn down in the late 70's.  I wish I had a better photo.  If anyone has one out there and would like to share it, let me know.