13) Before Eris was officially named, it had a nickname used by astronomers. What was it?

30