Tonosí (nombre propio): Pueblo del distrito de Tonosí en Panamá.