В Венесуэле это названо именем освободителя, в Эквадоре — именем его соратника, в Коста-Рике — именем первооткрывателя. А чьим именем это названо в Панаме?