Traumatic rupture of the right papillary muscle in a patient with congenital atrial septal defect