Right ventricular mural infective endocarditis after traumatic tricuspid valve regurgitation in a 40-year-old man: A case report.