Federal officers boost DC patrols on Trump's order