Panama Canal. Ports of the world: Panama Canal Zone; [issued by Sixth Division], n. p.