. . . . "Panamanian coast of the Caribbean Sea" . . .