King, one of many federal officials who’ve decided to call it quits as DOGE and Musk bulldoze their agencies, was replaced by ...