US withdrew forces from Nigeria after operation against ISIS, AFRICOM chief says