Panama explores Boring Company tunnel project.