Leadless pacemaker implantation in the presence of the bioprosthetic tricuspid valve: Case presentation and literature review