U.S. general: Number of ISIS fighters in Libya doubles