Donald Trump has a hang-up about Pluto. As far back as 2019, his appointed NASA administrator was making noise about reclassifying it as a planet, a status it lost when in 2006 the International Astronomical Union created a new system of nomenclature for all …