Echocardiographically guided closure of a patent foramen ovale during pregnancy after recurrent strokes.