Transcatheter closure of a patent foramen ovale following mitral valve replacement.