Patent foramen ovale closure or medical therapy for secondary prevention of cryptogenic stroke