During WWII my recently deceased US Army grandfather helped break up a German spy ring near the Panama Canal. Does anybody know more about this or operations like it around Panama?