 Wall Street is closed today for the Fourth of July holiday. Stocks traded mixed yesterday. I'm Windsor Johnston, NPR News in Washington. Stay informed, intrigued, and delighted with me wherever you get your podcasts.