Should That Minor Planet Be Named Gonggong? Astronomers Want the Public’s Help

Astronomers discovered the minor planet 2007 OR10 more than a decade ago. Now they’re asking the public to vote on what to submit as its official name.