U.S. Public Printer Resigns, Replacement Named