23 arrests made in US capital after Trump federalizes DC police: White House