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