Trump hasn’t rolled back Obama’s executive orders (so far)