Port-access redo mitral valve surgery in a 13-year-old child