When should external hemorrhoids be removed?