Question: What was Alan Hale's best known co-discovery formally designated as? 
Answer: C/1995 O1