Just two years later, the Trump administration has returned it to its previous designation, but it’s named after a different Polk, General James H. Polk, a World War II veteran and Silver Star ...