It was officially announced on May 13 , 1993 in IAUC 5789 with designation .
It was officially announced on May 13 , 1993 , in IAUC 5789 with designation .