Circular 23233 was a duplicate submission. It has been removed from the archive listing. See Circular 23231 for the original submission. (The duplication was a result of acknowledgement problems within GCN.) GCN OPS NOTE(15sep18) Per operators's request, 23233 was removed from the archive.