Pentagon: US forces take al-Qaida leader in Libya