Trump could dramatically reduce the size of government by firing all 900 State Dept. employees opposed to his refugee pause

Story here.