Infection of a ventricular aneurysm and cardiac mural thrombus: Survival after surgical resection