(Panama at that time was part of Colombia.)
(Panama waktu itu adalah bagian dari Kolombia).