Random planet name generator based on http://www.minorplanetcenter.net/iau/lists/MPNames.html
Minor Planet Names: Alphabetical List: This is an alphabetical listing of the names of the numbered minor planets. It now lists plain ASCII and accented versions of the names. It was last updated on 2016 Nov. 18.