The list of partial names was provided in an effort to comply with an executive order to trim the federal work force.

Donald Trump burned down the United States Tuesday and we’re stuck with the cleanup. Although the U.S. helped start the ...