"Creo que probablemente acabaremos superando los 10.000", dijo sobre los despidos, el jefe de la Oficina de Gestión y Presupuesto de la Casa Blanca, Russell Vought.