Trump signs executive order to boost law enforcement in Washington, D.C