Tonosí (nombre propio): Distrito de la provincia de Los Santos en Panamá.