Has Trump Made Government More Efficient?