Percutaneous closure of a patent foramen ovale after cryptogenic stroke