20181215 world.us: Trump taps budget head Mulvaney as acting chief of staff