Revagotomy for recurrent ulcer after vagotomy and drainage for duodenal ulcer