Bocas del Toro (nombre propio): Nombre de una ciudad de Panamá.