Trump says U.S. operation killed al-Qaida leader in Yemen