David Brian Castillo, of Washington, to be Chief Financial Officer, Department of Labor, vice James Edwin Williams.