Trump really will shrink government, starting with national monuments