Question: What was Alan Hale's best known co-discovery formally designated as? 
Sentence (from "Alan Hale (astronomer)"): is an American professional astronomer, best known for his co-discovery of Comet Hale–Bopp along with amateur astronomer Thomas Bopp.
Relevant evidence: Yes